Towards Context-Based Concurrent Formal Theories

DOI10.1142/S0129626415400083MaRDI QIDQ4598900zbMATH OpenFDO

Authors Andrew Schumann

Publication date 15 December 2017

Published in Parallel Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0129626415400083

zbMATH Keywords

Boolean algebraconcurrent gamegroup theorylabelled transition systemplasmodium

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3958700
• A denotational semantic theory of concurrent systems
• Formal Specification of Concurrent Systems: A Structured Approach
• scientific article; zbMATH DE number 1501611
• Balancing expressiveness in formal approaches to concurrency
• Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency
• Mechanizing compositional reasoning for concurrent systems: some lessons
• Rewriting logic as a semantic framework for concurrency: a progress report
• A confluent semantic basis for the analysis of concurrent constraint logic programs

Cited in

(3)

• The evolution of ambiguity in sender -- receiver signaling games
• Probabilistic properties of near-optimal trajectories of an agent moving over a lattice
• PhyChip: Growing Computers with Slime Mould

This page was built for publication: Towards Context-Based Concurrent Formal Theories

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