scientific article; zbMATH DE number 4018370
From MaRDI portal
Publication:3030239
zbMATH Open0626.68022MaRDI QIDQ3030239FDOQ3030239
Authors: Glynn Winskel 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Cited In (only showing first 100 items - show all)
- Bundle event structures: a revised cpo approach.
- Petri nets, traces, and local model checking
- Title not available (Why is that?)
- Title not available (Why is that?)
- A typed language for events
- Bayesian strategies: probabilistic programs as generalised graphical models
- Non sequential semantics for contextual P/T nets
- Elementary transition systems and refinement
- A truly concurrent process semantics over multi-pomsets of consumable resources
- Unified mathematical framework for slicing and symmetry reduction over event structures
- Event structures for Petri nets with persistence
- Representation of computations in concurrent automata by dependence orders
- Rabin's theorem in the concurrency setting: a conjecture
- Configuration- and residual-based transition systems for event structures with asymmetric conflict
- Title not available (Why is that?)
- Clustering for Petri nets
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- On the hardness of proving CCA-security of Signed ElGamal
- Towards a categorical representation of reversible event structures
- A verified algorithm enumerating event structures
- Petri nets, traces, and local model checking
- Causal ambiguity and partial orders in event structures
- Towards a Truly Concurrent Semantics for Reversible CCS
- Well-behaved flow event structures for parallel composition and action refinement
- On obligations
- A graph abstract machine describing event structure composition
- Refinement of actions for real-time concurrent systems with causal ambiguity
- Transactions and contracts based on reaction systems
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- A generalized Kahn Principle for abstract asynchronous networks
- Event structures for arbitrary disruption
- Schedulers and finishers: on generating the behaviours of an event structure
- Concurrent semantics for fusions: weak prime domains and connected event structures
- On continuous time agents
- Title not available (Why is that?)
- Expressiveness of concurrent intensionality
- Team bisimilarity, and its associated modal logic, for BPP nets
- On Scott's thesis for domains of information and well-quasi-orderings
- Title not available (Why is that?)
- Modeling event structures*
- Weighted models for higher-order computation
- Minimisation of event structures
- On relating concurrency and nondeterminism
- Event Analytics
- Flow unfolding of multi-clock nets
- Event Structure Semantics for Nominal Calculi
- Concurrency for Graph Grammars in a Petri net shell
- Title not available (Why is that?)
- Grammar Morphisms and Weakly Adhesive Categories
- Higher-order dynamics in event structures
- Concrete data structures and functional parallel programming
- Denotational, causal, and operational determinism in event structures
- Simultaneity in event structures
- Modelling mutual exclusion in a process algebra with time-outs
- From qualitative to quantitative semantics. By change of base
- Local model checking in a logic for true concurrency
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- Producing Short Counterexamples Using “Crucial Events”
- The mays and musts of concurrent strategies
- The configuration space of a robotic arm in a tunnel
- The inhibition spectrum and the achievement of causal consistency
- On the origin of events: branching cells as stubborn sets
- Models and logics for true concurrency.
- Normal forms, linearity, and prime algebraicity over nonflat domains
- Event structures with higher-order dynamics
- Dynamic Partial Order Reduction Using Probe Sets
- Workshop on Petri Nets and Graph Transformations
- Title not available (Why is that?)
- A model of intuitionistic affine logic from stable domain theory
- A reversible perspective on Petri nets and event structures
- Model checking reversible systems: forwardly
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets
- Characterising spectra of equivalences for event structures, logically
- Concurrency-preserving minimal process representation
- A new operational representation of dependencies in event structures
- Title not available (Why is that?)
- Event structures for interrupt process algebras
- Title not available (Why is that?)
- Relating reversible Petri nets and reversible event structures, categorically
- Teaching Concurrency Concepts to Freshmen
- Event structures and domains
- Unfolding-based diagnosis of systems with an evolving topology
- The poset of infinitary traces
- Mitigating covert channels based on analysis of the potential for communication
- On concurrent games with payoff
- Denotational semantics in the cpo and metric approach
- Behavioural logics for configuration structures
- Causal automata
- Nested-unit Petri nets
- Non-deterministic information systems and their domains
- Petri nets and bisimulation
- Title not available (Why is that?)
- Labelled domains and automata with concurrency
- Unfolding Grammars in Adhesive Categories
- Contracts as games on event structures
- Concurrency and atomicity
- ST-structures
- Universal homogeneous event structures and domains
- Distributed temporal logic for the analysis of security protocol models
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)
