ST-structures

DOI10.1016/J.JLAMP.2015.10.009zbMATH Open1353.68208OpenAlexW2397501793MaRDI QIDQ338620FDOQ338620

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

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)

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Title not available (Why is that?)
• Declarative event based models of concurrency and refinement in psi-calculi
• Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
• A stable non-interleaving early operational semantics for the pi-calculus
• Sculptures in concurrency
• Title not available (Why is that?)
• Languages of higher-dimensional automata
• A Myhill-Nerode theorem for higher-dimensional automata
• On the expressiveness of higher dimensional automata (extended abstract)

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)