scientific article; zbMATH DE number 4018370
From MaRDI portal
Publication:3030239
Recommendations
Cited in
(only showing first 100 items - show all)- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- Sculptures in concurrency
- A generalized Kahn Principle for abstract asynchronous networks
- Combining behavioural types with security analysis
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- Models and logics for true concurrency.
- Normal forms, linearity, and prime algebraicity over nonflat domains
- On the expressiveness of higher dimensional automata
- Process versus unfolding semantics for Place/Transition Petri nets
- Dynamic Partial Order Reduction Using Probe Sets
- Workshop on Petri Nets and Graph Transformations
- Schedulers and finishers: on generating the behaviours of an event structure
- Event structures with higher-order dynamics
- Event structures for arbitrary disruption
- scientific article; zbMATH DE number 683365 (Why is no real title available?)
- Concurrent semantics for fusions: weak prime domains and connected event structures
- Event structures and trace monoids
- A model of intuitionistic affine logic from stable domain theory
- From model checking to equilibrium checking: reactive modules for rational verification
- Membership problems for regular and context-free trace languages
- Event structures with symmetry
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- A reversible perspective on Petri nets and event structures
- Model checking reversible systems: forwardly
- Expressiveness of concurrent intensionality
- Finite labelling problem in event structures
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets
- scientific article; zbMATH DE number 1737501 (Why is no real title available?)
- Team bisimilarity, and its associated modal logic, for BPP nets
- Characterising spectra of equivalences for event structures, logically
- On continuous time agents
- The glory of the past and geometrical concurrency
- Some behavioural aspects of net theory
- EMSO-definability of some languages with event structures
- On Scott's thesis for domains of information and well-quasi-orderings
- Truly concurrent constraint programming
- Alternative characterizations of hereditary history-preserving bisimilarity via backward ready multisets
- Concurrency-preserving minimal process representation
- Dynamical systems and sheaves
- scientific article; zbMATH DE number 7533330 (Why is no real title available?)
- From domains to automata with concurrency
- scientific article; zbMATH DE number 4770 (Why is no real title available?)
- Parallel product of event structures
- A new operational representation of dependencies in event structures
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
- Event structures for interrupt process algebras
- Model checking distributed temporal logic
- scientific article; zbMATH DE number 3893174 (Why is no real title available?)
- Concurrent transition systems
- Modeling event structures*
- Probabilistic rely-guarantee calculus
- On relating some models for concurrency
- Recursive domain equations for concrete data structure
- Closure functions and general iterates as reflectors
- Ensuring liveness properties of distributed systems: open problems
- Weighted models for higher-order computation
- Minimisation of event structures
- Relating reversible Petri nets and reversible event structures, categorically
- Algebra and theory of order-deterministic pomsets
- Teaching Concurrency Concepts to Freshmen
- Partial Orders, Event Structures and Linear Strategies
- On relating concurrency and nondeterminism
- Concurrent Kleene Algebra
- Event Analytics
- Flow unfolding of multi-clock nets
- Event Structure Semantics for Nominal Calculi
- Bundle event structures: a revised cpo approach.
- Event structures and domains
- Unfolding-based diagnosis of systems with an evolving topology
- The poset of infinitary traces
- On concurrent games with payoff
- Mitigating covert channels based on analysis of the potential for communication
- Petri nets, traces, and local model checking
- Denotational semantics in the cpo and metric approach
- Behavioural logics for configuration structures
- scientific article; zbMATH DE number 7215282 (Why is no real title available?)
- scientific article; zbMATH DE number 7297883 (Why is no real title available?)
- Causal automata
- Non-deterministic information systems and their domains
- Bayesian strategies: probabilistic programs as generalised graphical models
- A typed language for events
- Petri nets and bisimulation
- Nested-unit Petri nets
- Concurrency for Graph Grammars in a Petri net shell
- Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
- scientific article; zbMATH DE number 7147446 (Why is no real title available?)
- Non sequential semantics for contextual P/T nets
- Contracts as games on event structures
- Labelled domains and automata with concurrency
- Elementary transition systems and refinement
- scientific article; zbMATH DE number 4119660 (Why is no real title available?)
- Unfolding Grammars in Adhesive Categories
- ST-structures
- Concurrency and atomicity
- Grammar Morphisms and Weakly Adhesive Categories
- Universal homogeneous event structures and domains
- A truly concurrent process semantics over multi-pomsets of consumable resources
- Bisimulations and logics for higher-dimensional automata
- Higher-order dynamics in event structures
- Unified mathematical framework for slicing and symmetry reduction over event structures
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 Q3030239)
