scientific article; zbMATH DE number 1755144

MaRDI QIDQ4535178zbMATHFDO

Authors Hanna Klaudel, Franck Pommereau

Publication date 13 June 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2075/20750204

zbMATH Keywords

semanticsPetri netsparallel programmingexceptions

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compositional high-level Petri net semantics of a parallel programming language with procedures
• As-if-serial exception handling semantics for Java futures
• Towards a language for concurrent processes
• A systematic approach to language constructs for concurrent programs
• scientific article; zbMATH DE number 1424057

Cited in

(4)

• M-nets: a survey
• What is the meaning of these constant interruptions?
• As-if-serial exception handling semantics for Java futures
• A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling

Describes a project that uses

Uses Software

• M-nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535178)