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