A generalisation of a relational structures model of concurrency

DOI10.1007/978-3-540-31862-0_8MaRDI QIDQ5710005zbMATH OpenOpenAlexFDO

Authors Ryszard Janicki

Publication date 30 November 2005

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

Full work available at URL https://doi.org/10.1007/b107116

Mathematics Subject Classification ID

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

Recommendations

• Relational structures model of concurrency
• Fundamentals of modelling concurrency using discrete relational structures
• Relational structures for concurrent behaviours
• Modelling concurrent behaviours by commutativity and weak causality relations
• Order structures and generalisations of Szpilrajn's theorem

Cited in

(10)

• Fundamentals of modelling concurrency using discrete relational structures
• Relational structures for concurrent behaviours
• A formal model of concurrent systems based on bipartite directed acyclic graph
• Characterising concurrent histories
• Studying Operational Models of Relaxed Concurrency
• Modelling concurrent behaviours by commutativity and weak causality relations
• Modelling Concurrency with Quotient Monoids
• Relations between Concurrent-Write Models of Parallel Computation
• Order structures and generalisations of Szpilrajn's theorem
• Relational structures model of concurrency

This page was built for publication: A generalisation of a relational structures model of concurrency

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