Semantics of CSP via translation into CCS-Reference-Cited by-同舟云学术

Semantics of CSP via translation into CCS

Published:1981 Issue: Volume: Page:172-182
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Astesiano Egidio,Zucca Elena

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-10856-4_83.pdf

Reference10 articles.

1. Astesiano E. and Zucca E., Semantics by translation of CSP and its equivalence with B-semantics. To appear as Rapporto Scientifico of the Institute of Math., Genova (Italy), 1981.

2. Astesiano E. and Zucca E., Semantics of DP via translation into CCS, available as Rapporto Scientifico of the Institute of Math., Genova (Italy), April 1981, submitted for publication.

3. Francez N., Hoare C.A.R., Lehmann D.J. and deRoever W.P., Semantics of non determinism, concurrency and communication, JCSS, 19,3,1979.

4. Francez N., Rodeh M. and Sintzoff M., Distributed termination with interval assertion, Proceedings of ICFPC, LNCS, 107,pg.280–291,1981.

5. Hoare C.A.R., Communicating Sequential Processes, Comm.ACM, 21,8,1978.

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

1. Translating FSP into LOTOS and networks of automata;Formal Aspects of Computing;2010-11

2. Parallelism issues in multi — Style computers;Future Parallel Computers;1987

3. The ESTEREL synchronous programming language and its mathematical semantics;Lecture Notes in Computer Science;1985

4. Semantics of CSP via translation into CCS;Lecture Notes in Computer Science;1981

5. An implementation of a translational semantics for an imperative language;CONCUR '90 Theories of Concurrency: Unification and Extension