scientific article; zbMATH DE number 1755144

zbMATH Open0986.68504MaRDI QIDQ4535178FDOQ4535178

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

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

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)