|
|||||
|
|
An operational semantics for occam |
|
| Authors: | Juanito Camilleri |
| Affiliation: | (1) Computer Laboratory, New Museum Site, University of Cambridge, Pembroke Street, CB2 3QG Cambridge, England |
| Abstract: | |
| Keywords: | Operational semantics syntax directed transition systems priority alternation refusal and acceptance sets |
| 本文献已被 SpringerLink 等数据库收录！ | |