Research graph
References from Automatic verification of a manufacturing system. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1994 · External reference
Unresolved reference
1993 · External reference
Unresolved reference
1988 · External reference
Unresolved reference
1985 · External reference
Process algebra for synchronous communication
10.1016/s0019-9958(84)80025-x · 1984 · External reference
The syntax and semantics of μ CRL. ACP: Algebra of Communicating Processes
1995 · External reference
Unresolved reference
1981 · External reference
Unresolved reference
External reference
Languages and applications in hybrid modelling and simulation: positioning of χ.
10.1016/s0967-0661(99)00137-9 · 2000 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1109/asmc.1998.731643
10.1109/asmc.1998.731643 · External reference
10.1109/issm.1999.808745
10.1109/issm.1999.808745 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1016/s1474-6670(17)44634-9
10.1016/s1474-6670(17)44634-9 · External reference
Unresolved reference
External reference
10.1109/icfem.1998.730573
10.1109/icfem.1998.730573 · External reference
Unresolved reference
External reference
Proving the correctness of multiprocess programs
10.1109/tse.1977.229904 · 1977 · External reference
10.1109/sfcs.1977.32
10.1109/sfcs.1977.32 · External reference
10.1007/3-540-48234-2_1
10.1007/3-540-48234-2_1 · External reference
Unresolved reference
External reference
10.1007/bfb0031813
10.1007/bfb0031813 · External reference
Unresolved reference
External reference
10.21236/ada324036
10.21236/ada324036 · External reference
Unresolved reference
1976 · External reference
Communicating sequential processes
10.1145/359576.359585 · 1978 · External reference
Unresolved reference
External reference
The model checker spin
10.1109/32.588521 · 1997 · External reference
Unresolved reference
External reference
Discrete-time promela and spin
1998 · External reference
Unresolved reference
External reference
