scientific article; zbMATH DE number 1424057

MaRDI QIDQ4945248zbMATH OpenFDO

Authors Paul Gastin, Michael Mislove

Publication date 23 March 2000

zbMATH Keywords

semantic models for true concurrency

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3932376
• On implementations and semantics of a concurrent programming language
• scientific article; zbMATH DE number 3907747
• A systematic approach to language constructs for concurrent programs
• Unifying Semantics for Concurrent Programming
• scientific article; zbMATH DE number 3970098
• Towards a language for concurrent processes
• scientific article; zbMATH DE number 3978364
• Toward a formal semantic framework for deterministic parallel programming
• A layered semantics for a parallel object-oriented language

Cited in

(9)

• A truly concurrent semantics for a process algebra using resource pomsets
• Resource traces: A domain for processes sharing exclusive resources.
• Locally abstract, globally concrete semantics of concurrent programming languages
• Semantic Correctness for a Parallel Object-Oriented Language
• scientific article; zbMATH DE number 3907747 (Why is no real title available?)
• scientific article; zbMATH DE number 1096856 (Why is no real title available?)
• A simple process algebra based on atomic actions with resources
• scientific article; zbMATH DE number 1755144 (Why is no real title available?)
• Unifying Semantics for Concurrent Programming

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 Q4945248)