scientific article; zbMATH DE number 4119660
From MaRDI portal
Publication:4733435
General topics in the theory of software (68N01) Theory of operating systems (68N25) Theory of software (68N99) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(62)- Stable neighbourhoods
- Context-free event domains are recognizable
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- The connection between an event structure semantics and an operational semantics for TCSP
- Denotational semantics in the cpo and metric approach
- Analysis of equivalence relations of event structures with continuous time
- Relating conflict-free stable transition and event models via redex families
- Schedulers and finishers: on generating and filtering the behaviours of an event structure
- Algebra and theory of order-deterministic pomsets
- Objects and classes in Algol-like languages
- Composition methods for constructing characteristic formulas for dense-time models
- New representations of algebraic domains and algebraic L-domains via closure systems
- Concurrent semantics for fusions: weak prime domains and connected event structures
- Minimisation of event structures
- A counterexample to Thiagarajan's conjecture on regular event structures
- Unified mathematical framework for slicing and symmetry reduction over event structures
- A verified algorithm enumerating event structures
- Refinement of actions for real-time concurrent systems with causal ambiguity
- On the expressiveness of higher dimensional automata
- The conflict-free reduction geometry
- Event structure semantics for multiparty sessions
- Representations of algebraic domains and algebraic L-domains by information systems
- Event structures for interrupt process algebras
- Event structures with symmetry
- A graph abstract machine describing event structure composition
- scientific article; zbMATH DE number 4018370 (Why is no real title available?)
- Partial-Order Reduction
- Schedulers and finishers: on generating the behaviours of an event structure
- ST-structures
- Simultaneity in event structures
- scientific article; zbMATH DE number 1497792 (Why is no real title available?)
- scientific article; zbMATH DE number 1737501 (Why is no real title available?)
- A graph rewriting framework for Statecharts semantics
- An event structure semantics for graph grammars with parallel productions
- Modular relaxed dependencies in weak memory concurrency
- Abstract graph derivations in the double pushout approach
- On relating rewriting systems and graph grammars to event structures
- Causal behaviours and nets
- Context-free event domains are recognizable
- Generated models and the -rule: the nondeterministic case
- Normal forms, linearity, and prime algebraicity over nonflat domains
- scientific article; zbMATH DE number 7147446 (Why is no real title available?)
- Event structures for arbitrary disruption
- Event Structure Semantics for Nominal Calculi
- Bundle event structures and CCSP.
- Cartesian closed categories of domains and the space proj(D)
- A monoidal closed category of event structures
- scientific article; zbMATH DE number 7809760 (Why is no real title available?)
- Graph types for monadic mobile processes
- Global types and event structure semantics for asynchronous multiparty sessions
- Modelling causality via action dependencies in branching time semantics
- An event structure semantics for general Petri nets
- Relational patterns, partiality, and set lifting in modal semantics
- A truly concurrent semantics for reversible CCS
- Synchronous Kleene algebra
- Language inclusion for finite prime event structures
- Point algebras for temporal reasoning: Algorithms and complexity
- Configuration structures, event structures and Petri nets
- A representation of L-domains by information systems
- EMSO-definability of some languages with event structures
- Information systems revisited -- the general continuous case
- Rule-based and object-based event structures for membrane systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4733435)
