scientific article; zbMATH DE number 3905836
From MaRDI portal
Publication:3683531
Recommendations
Cited in
(43)- Timing Petri nets categorically
- The poset of infinitary traces
- Conditioning for variance reduction in estimating the sensitivity of simulations
- Petri nets, algebras, morphisms, and compositionality
- A functorial semantics for observed concurrency
- scientific article; zbMATH DE number 4028883 (Why is no real title available?)
- Symmetry and Concurrency
- Process synchronisation as fusion
- scientific article; zbMATH DE number 4049567 (Why is no real title available?)
- 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
- Synchronization trees
- scientific article; zbMATH DE number 3902007 (Why is no real title available?)
- Causality versus true-concurrency
- An event structure semantics for general Petri nets
- Trust in event structures
- Formal relationships between geometrical and classical models for concurrency
- scientific article; zbMATH DE number 3999306 (Why is no real title available?)
- Context for models of concurrency
- The equational theory of pomsets
- A compositional proof system on a category of labelled transition systems
- Observational trees as models for concurrency
- On categories of fuzzy Petri nets
- scientific article; zbMATH DE number 4003508 (Why is no real title available?)
- Posets with interfaces as a model for concurrency
- Some behavioural aspects of net theory
- Enriched categorical semantics for distributed calculi
- A model category for local po-spaces
- 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
- scientific article; zbMATH DE number 4062569 (Why is no real title available?)
- The categorical framework of object-oriented concurrent systems
- An algebraic view of interleaving and distributed operational semantics for CCS
- Distributed computation of vector clocks in Petri net unfoldings for test selection
- scientific article; zbMATH DE number 4039255 (Why is no real title available?)
- Models for concurrency: Towards a classification
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)
