scientific article; zbMATH DE number 3905836
From MaRDI portal
Publication:3683531
Recommendations
Cited in
(50)- Conduché property and tree-based categories
- Petri nets, algebras, morphisms, and compositionality
- The equational theory of pomsets
- Concurrent transition systems
- Connectedness and synchronization
- The categorical framework of object-oriented concurrent systems
- Conditioning for variance reduction in estimating the sensitivity of simulations
- Enriched categorical semantics for distributed calculi
- Synchronization trees
- Constructing process categories
- Clustering for Petri nets
- Distributed computation of vector clocks in Petri net unfoldings for test selection
- Trust in event structures
- Causality versus true-concurrency
- Trellis processes: a compact representation for runs of concurrent systems
- A model category for local po-spaces
- Process synchronisation as fusion
- A compositional proof system on a category of labelled transition systems
- Posets with interfaces as a model for concurrency
- Categorical models for concurrency: Independence, fairness and dataflow
- Context for models of concurrency
- Concrete process categories
- Causality versus true-concurrency
- Symmetry and Concurrency
- Advantages and disadvantages of the methods of describing concurrent systems
- scientific article; zbMATH DE number 3902007 (Why is no real title available?)
- scientific article; zbMATH DE number 4028883 (Why is no real title available?)
- scientific article; zbMATH DE number 4039255 (Why is no real title available?)
- scientific article; zbMATH DE number 4049567 (Why is no real title available?)
- scientific article; zbMATH DE number 4062569 (Why is no real title available?)
- Transfer of trust in event-based reputation systems
- scientific article; zbMATH DE number 1241703 (Why is no real title available?)
- scientific article; zbMATH DE number 1497874 (Why is no real title available?)
- scientific article; zbMATH DE number 3999306 (Why is no real title available?)
- scientific article; zbMATH DE number 4003508 (Why is no real title available?)
- Investigation of concurrent processes by means of homotopy functors
- scientific article; zbMATH DE number 860039 (Why is no real title available?)
- Observational trees as models for concurrency
- An algebraic view of interleaving and distributed operational semantics for CCS
- A functorial semantics for observed concurrency
- Formal relationships between geometrical and classical models for concurrency
- Timing Petri nets categorically
- Models for concurrency: Towards a classification
- An event structure semantics for general Petri nets
- Petri nets and bisimulation
- On the nature of events: another perspective in concurrency
- The poset of infinitary traces
- On categories of fuzzy Petri nets
- Some behavioural aspects of net theory
- Petri nets are monoids
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)
