scientific article; zbMATH DE number 3905836
From MaRDI portal
Publication:3683531
zbMATH Open0567.68017MaRDI QIDQ3683531FDOQ3683531
Authors: Glynn Winskel 
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
CSPsemanticscategory theoryPetri netsevent structuresconcurrent processesCCSoccurrence netssynchronisation trees
Cited In (43)
- The poset of infinitary traces
- A functorial semantics for observed concurrency
- Conditioning for variance reduction in estimating the sensitivity of simulations
- Petri nets, algebras, morphisms, and compositionality
- Title not available (Why is that?)
- Symmetry and Concurrency
- Process synchronisation as fusion
- Title not available (Why is that?)
- Trellis processes: a compact representation for runs of concurrent systems
- Transfer of trust in event-based reputation systems
- On the nature of events: another perspective in concurrency
- Categorical models for concurrency: Independence, fairness and dataflow
- Clustering for Petri nets
- Petri nets are monoids
- Title not available (Why is that?)
- Synchronization trees
- Causality versus true-concurrency
- Trust in event structures
- Formal relationships between geometrical and classical models for concurrency
- An event structure semantics for general Petri nets
- Title not available (Why is that?)
- Context for models of concurrency
- A compositional proof system on a category of labelled transition systems
- The equational theory of pomsets
- Observational trees as models for concurrency
- Title not available (Why is that?)
- On categories of fuzzy Petri nets
- Posets with interfaces as a model for concurrency
- Some behavioural aspects of net theory
- A model category for local po-spaces
- Enriched categorical semantics for distributed calculi
- Causality versus true-concurrency
- Concrete process categories
- Advantages and disadvantages of the methods of describing concurrent systems
- Investigation of concurrent processes by means of homotopy functors
- Concurrent transition systems
- An algebraic view of interleaving and distributed operational semantics for CCS
- Title not available (Why is that?)
- Title not available (Why is that?)
- The categorical framework of object-oriented concurrent systems
- Distributed computation of vector clocks in Petri net unfoldings for test selection
- Models for concurrency: Towards a classification
- Timing Petri nets categorically
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 Q3683531)
