Presenting interval pomsets with interfaces
From MaRDI portal
Cites work
- A contribution to the theory of relative position.
- A Kleene theorem for higher-dimensional automata
- A Myhill-Nerode theorem for higher-dimensional automata
- Basic interval orders
- Closure and decision properties for higher-dimensional automata
- Concurrent Kleene algebra and its foundations
- Concurrent Kleene algebra: free model and completeness
- Developments in concurrent Kleene algebra
- Erratum to ``On the expressiveness of higher dimensional automata
- Free shuffle algebras in language varieties
- Generating Posets Beyond N
- scientific article; zbMATH DE number 3877239 (Why is no real title available?)
- scientific article; zbMATH DE number 3735177 (Why is no real title available?)
- scientific article; zbMATH DE number 1927576 (Why is no real title available?)
- Intransitive indifference with unequal indifference intervals
- Languages of higher-dimensional automata
- Logic and languages of higher-dimensional automata
- Modeling concurrency with interval traces
- Modeling concurrency with partial orders
- On interprocess communication. I: Basic formalism
- On the expressiveness of higher dimensional automata
- Operational semantics, interval orders and sequences of antichains
- Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view
- Posets with interfaces as a model for concurrency
- The equational theory of pomsets
- Time, clocks, and the ordering of events in a distributed system
- Unifying Concurrent Objects and Distributed Tasks
- Varieties generated by languages with poset operations
This page was built for publication: Presenting interval pomsets with interfaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7013587)
