An operational semantics for occam-Reference-Cited by-同舟云学术

An operational semantics for occam

Published:1989-10 Issue:5 Volume:18 Page:365-400
ISSN:0885-7458
Container-title:International Journal of Parallel Programming
language:en
Short-container-title:Int J Parallel Prog

Author:

Camilleri Juanito

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01379186.pdf

Reference11 articles.

1. INMOS ltd.occam Programming Manual, Prentice Hall International Series in Computer Science (1984).

2. Gordon. D. Plotkin,A Structural Approach to Operational Semantics, Department of Computer Science, Aarhus University Denmark (September 1981).

3. Gordon. D. Plotkin, An Operational Semantics for CSP,Proc. of the IFIP WG 2.2 Working Conf. on Formal Description of Programming Concepts II (1982).

4. C. A. R. Hoare,Communicating Sequential Processes, Prentice Hall International Series in Computer Science (1985).

5. Wei Li,An Operational Semantics of Tasking and Exception Handling in Ada, Department of Computer Science University of Edinburgh (December 1981).

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Revisiting sequential composition in process calculi;Journal of Logical and Algebraic Methods in Programming;2015-11

2. Prioritized slotted-Circus;Lecture Notes in Computer Science;2010

3. The meaning of negative premises in transition system specifications;Journal of the ACM;1996-09

4. CSP/Occam on Networks of Workstations;UK Parallel ’96;1996

5. Causality for mobile processes;Automata, Languages and Programming;1995