A truly concurrent semantics for a simple parallel programming language

DOI10.1007/3-540-48168-0_36MaRDI QIDQ4945248zbMATH OpenFDO

Authors Paul Gastin, Michael Mislove

Publication date 23 March 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48168-0_36

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?)
• Semantics of parallelism. Non-interleaving representation of behaviour
• 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: A truly concurrent semantics for a simple parallel programming language

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