ST-structures

DOI10.1016/J.JLAMP.2015.10.009MaRDI QIDQ338620zbMATH OpenOpenAlexFDO

Authors Christian Johansen

Publication date 7 November 2016

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2015.10.009

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 4119660
• scientific article; zbMATH DE number 1185497
• Relational structures model of concurrency
• scientific article; zbMATH DE number 4018370
• On the expressiveness of higher dimensional automata (extended abstract)

Cites work

• scientific article; zbMATH DE number 3651760 (Why is no real title available?)
• scientific article; zbMATH DE number 1927552 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• A logic for true concurrency
• A logic with reverse modalities for history-preserving bisimulations
• Algebraic topology and concurrency
• CONCUR 2005 – Concurrency Theory
• Components of the fundamental category
• Components of the fundamental category. II
• Computer science today. Recent trends and developments
• Concurrent Kleene algebra and its foundations
• Configuration structures, event structures and Petri nets
• Contextual Petri nets, asymmetric event structures, and processes
• Dipaths and dihomotopies in a cubical complex
• Formal relationships between geometrical and classical models for concurrency
• Foundations of Software Science and Computational Structures
• Higher dimensional automata revisited
• History-preserving bisimilarity for higher-dimensional automata via open maps
• Modal logic over higher dimensional automata
• On the expressiveness of higher dimensional automata
• Partial higher-dimensional automata
• Refinement of actions and equivalence notions for concurrent systems
• The difference between splitting in \(n\) and \(n+1\)
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Transition and cancellation in concurrency and branching time

Cited in

(9)

• Declarative event based models of concurrency and refinement in psi-calculi
• Sculptures in concurrency
• A Myhill-Nerode theorem for higher-dimensional automata
• On the expressiveness of higher dimensional automata (extended abstract)
• Languages of higher-dimensional automata
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
• A stable non-interleaving early operational semantics for the pi-calculus
• scientific article; zbMATH DE number 1185497 (Why is no real title available?)

This page was built for publication: ST-structures

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