Abstract
No public abstract is available from the verified source records.
V Bos, J.J.T Kleijn
Abstract
Authors
Institutions
No ROR-resolved institution is linked to this work yet.
Provenance
crossref
Confidence 100%
unpaywall
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
Unresolved referenced work
1994
Unresolved referenced work
1993
Unresolved referenced work
1988
Unresolved referenced work
1985
Process algebra for synchronous communication
10.1016/s0019-9958(84)80025-x · 1984
The syntax and semantics of μ CRL. ACP: Algebra of Communicating Processes
1995
Unresolved referenced work
1981
Unresolved referenced work
Kept as external metadata until matched
Languages and applications in hybrid modelling and simulation: positioning of χ.
10.1016/s0967-0661(99)00137-9 · 2000
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
Kept as external metadata until matched
10.1109/asmc.1998.731643
10.1109/asmc.1998.731643
10.1109/issm.1999.808745
10.1109/issm.1999.808745
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
Kept as external metadata until matched
10.1016/s1474-6670(17)44634-9
10.1016/s1474-6670(17)44634-9
Unresolved referenced work
Kept as external metadata until matched
10.1109/icfem.1998.730573
10.1109/icfem.1998.730573
Unresolved referenced work
Kept as external metadata until matched
Proving the correctness of multiprocess programs
10.1109/tse.1977.229904 · 1977
10.1109/sfcs.1977.32
10.1109/sfcs.1977.32
10.1007/3-540-48234-2_1
10.1007/3-540-48234-2_1
Unresolved referenced work
Kept as external metadata until matched
10.1007/bfb0031813
10.1007/bfb0031813
Unresolved referenced work
Kept as external metadata until matched
10.21236/ada324036
10.21236/ada324036
Unresolved referenced work
1976
Communicating sequential processes
10.1145/359576.359585 · 1978
Unresolved referenced work
Kept as external metadata until matched
The model checker spin
10.1109/32.588521 · 1997
Unresolved referenced work
Kept as external metadata until matched
Discrete-time promela and spin
1998
Unresolved referenced work
Kept as external metadata until matched
No additional external references are available.