Reasoning about nondeterministic and concurrent actions: A process algebra approach
1999 ◽
Vol 107
(1)
◽
pp. 63-98
◽
Xiao Jun Chen
◽
Giuseppe De Giacomo
1996 ◽
Vol 8
(1)
◽
pp. 7-38
◽
Paola Inverardi
◽
Corrado Priami
2009 ◽
Vol 2
(3)
◽
pp. 535-556
◽
Chris McCaig
◽
Rachel Norman
◽
Carron Shankland
Sertac Karaman
◽
Steven Rasmussen
◽
Derek Kingston
◽
Emilio Frazzoli
Hannes Rieser
◽
Insa Lawler
2001 ◽
Vol 63
(5)
◽
pp. 951-980
◽
2004 ◽
Vol 80
(6)
◽
pp. 273-288
◽
P. Lecca
◽
C. Priami
◽
P. Quaglia
◽
B. Rossi
◽
C. Laudanna
◽
...
2004 ◽
Vol 19
(3)
◽
pp. 364-373
Yuan Feng
◽
Ming-Sheng Ying
Chen Shu
◽
Wu Guo Qing
◽
Xiao Jing
1998 ◽
Vol 14
◽
pp. 62-85
Murilo S. de Camargo
◽
Ricardo F. Martins
◽
Roberto M. Scheffel
2017 ◽
Vol 56
(12)
◽
pp. 3869-3879
◽