scientific article; zbMATH DE number 4119660
From MaRDI portal
Publication:4733435
zbMath0683.68074MaRDI QIDQ4733435
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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) General topics in the theory of software (68N01) Theory of operating systems (68N25) Theory of software (68N99)
Related Items (43)
Representations of algebraic domains and algebraic L-domains by information systems ⋮ Modular Relaxed Dependencies in Weak Memory Concurrency ⋮ Configuration structures, event structures and Petri nets ⋮ Denotational semantics in the cpo and metric approach ⋮ Partial-Order Reduction ⋮ Unnamed Item ⋮ Abstract graph derivations in the double pushout approach ⋮ On relating rewriting systems and graph grammars to event structures ⋮ Causal behaviours and nets ⋮ Generated models and the ω-rule: The nondeterministic case ⋮ A counterexample to Thiagarajan's conjecture on regular event structures ⋮ A representation of L-domains by information systems ⋮ Composition methods for constructing characteristic formulas for dense-time models ⋮ Cartesian closed categories of domains and the space proj(D) ⋮ A monoidal closed category of event structures ⋮ Event structure semantics for multiparty sessions ⋮ Normal forms, linearity, and prime algebraicity over nonflat domains ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Stable neighbourhoods ⋮ Modelling causality via action dependencies in branching time semantics ⋮ An event structure semantics for general Petri nets ⋮ New representations of algebraic domains and algebraic L-domains via closure systems ⋮ Information systems revisited -- the general continuous case ⋮ A graph rewriting framework for Statecharts semantics ⋮ An event structure semantics for graph grammars with parallel productions ⋮ Refinement of actions for real-time concurrent systems with causal ambiguity ⋮ On the expressiveness of higher dimensional automata ⋮ Synchronous Kleene algebra ⋮ Rule-based and object-based event structures for membrane systems ⋮ Graph types for monadic mobile processes ⋮ Global types and event structure semantics for asynchronous multiparty sessions ⋮ Algebra and theory of order-deterministic pomsets ⋮ Dynamic Causality in Event Structures ⋮ Context-free event domains are recognizable ⋮ Context-free event domains are recognizable ⋮ Unified mathematical framework for slicing and symmetry reduction over event structures ⋮ Analysis of equivalence relations of event structures with continuous time ⋮ Objects and classes in Algol-like languages ⋮ The conflict-free reduction geometry ⋮ Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin ⋮ Relating conflict-free stable transition and event models via redex families ⋮ Point algebras for temporal reasoning: Algorithms and complexity
This page was built for publication:
