A concurrent semantics of static exceptions in a parallel programming language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2075, Issue , 2001, Pages 204-223

  Klaudel, Hanna ^a   Pommereau, Franck ^a  

^a UNIVERSITÉ PARIS EST CRÉTEIL   (France)

Author keywords

Exceptions; Parallel programming; Petri nets; Semantics

Indexed keywords

HIGH LEVEL LANGUAGES; PARALLEL PROGRAMMING; SEMANTICS;

COMPOSABLE; CONCURRENT SEMANTICS; EXCEPTIONS; HIGH-LEVEL PETRI NETS;

PETRI NETS;

EID: 84947278557     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45740-2_13     Document Type: Conference Paper

References (17)

1. E. Best, R. Devillers, and J. G. Hall. The box calculus: a new causal algebra with multi-label communication. LNCS 609: 21-69, 1992.
2. E. Best, W. Fraczak, R. Hopkins, H. Klaudel, and E. Pelz. M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages. Acta Informatica, 35, 1998.
3. 2 - A basic Petri net programming notation. PARLE'93, LNCS 694: 379-390, 1993.
4. R. Devillers, H. Klaudel, and R.-C Riemann. General refinement for high-level Petri nets. FST&TCS'97, LNCS 1346: 297-311, 1997.
5. R. Devillers, H. Klaudel, and R.-C. Riemann. General parameterised refinement and recursion for the M-net calculus. Theoretical Computer Science, to appear (available at http://www.univ-paris12.fr/klaudel/tcs00.ps.gz).
6. H. J. Genrich, K. Lautenbach, and P. S. Thiagarajan. Elements of General Net Theory. Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, LNCS 84: 21-163, 1980.
7. B. Grahlmann and E. Best. PEP - more than a Petri net tool. LNCS 1055, 1996.
8. M. Kishinevsky, J. Cortadella, A. Kondratyev, L. Lavagno, A. Taubin and A. Yakovlev. Coupling asynchrony and interrupts: place chart nets and their synthesis. ICATPN'97, LNCS 1248: 328-347, 1997.
9. H. Klaudel. Compositional high-level Petri net semantics of a parallel programming language with procedures. Science of Computer Programming, to appear (available at http://univ-paris12.fr/lacl/klaudel/proc.ps.gz).
10. H. Klaudel and F. Pommereau. Asynchronous links in the PBC and M-nets. ASIAN'99, LNCS 1742: 190-200, 1999.
11. H. Klaudel and F. Pommereau. A concurrent and compositional Petri net semantics of preemption. IFM'2000, LNCS 1945: 318-337, 2000.
12. P. A. Lee and T. Anderson. Fault tolerance: principle and practice. Springer, 1990.
13. R. Milner. A calculus of communicating systems. LNCS 92, 1980.
14. B. Randell, A. Romanovsky, R. J. Stroud, J. Xu and A. F. Zorzo. Coordinated Atomic Actions: from concept to implementation. Submitted to IEEE TC Special issue.
15. A. Romanovsky. Practical exception handling and resolution in concurrent programs. Computer Languages, v. 23, N 1, 1997, pp. 43-58.
16. A. Romanovsky. Extending conventional languages by distributed/concurrent exception resolution. Journal of systems architecture, Elsevier science, 2000
17. J. Xu, A. Romanovsky and B. Randell. Coordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation. Computing Dept., University of Newcastle upon Tyne, TR 596, 1997.