scientific article; zbMATH DE number 7147446
From MaRDI portal
Publication:5207054
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Recommendations
- Concurrency and probability: removing confusion, compositionally
- Concurrency and composition in a stochastic world
- Taming confusion for modeling and implementing probabilistic concurrent systems
- Probability and Nondeterminism in Operational Models of Concurrency
- Concurrent Probabilistic Programs, Or: How to Schedule If You Must
- Measure and probability for concurrency theorists
- Introduction to Probabilistic Concurrent Systems
- scientific article; zbMATH DE number 3846853
Cites work
- A semantics for every GSPN
- Causal ambiguity and partial orders in event structures
- Causal automata
- Connector algebras for C/E and P/T nets' interactions
- Contextual nets
- Critical paths in the partial order unfolding of a stochastic Petri net
- Discrete Time Stochastic Petri Nets
- Event structures for Petri nets with persistence
- Foundations of Software Science and Computational Structures
- scientific article; zbMATH DE number 4018370 (Why is no real title available?)
- scientific article; zbMATH DE number 4012495 (Why is no real title available?)
- scientific article; zbMATH DE number 1302042 (Why is no real title available?)
- scientific article; zbMATH DE number 2059843 (Why is no real title available?)
- scientific article; zbMATH DE number 4119660 (Why is no real title available?)
- scientific article; zbMATH DE number 7147446 (Why is no real title available?)
- scientific article; zbMATH DE number 5033888 (Why is no real title available?)
- Mobile Petri nets
- On characterising distributability
- On the border of causality: contact and confusion
- Petri nets with persistence
- Petri nets, event structures and domains. I
- Probabilistic event structures and domains
- Taming confusion for modeling and implementing probabilistic concurrent systems
- The non-sequential behaviour of Petri nets
- True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
- True-concurrency probabilistic models: Markov nets and a law of large numbers
- Understanding Petri Nets
Cited in
(10)- Bayesian network semantics for Petri nets
- True-concurrency probabilistic models: Markov nets and a law of large numbers
- Confluence Reduction for Probabilistic Systems
- Probabilistic Analysis of Binary Sessions
- Concurrency and probability: removing confusion, compositionally
- scientific article; zbMATH DE number 7147446 (Why is no real title available?)
- Taming confusion for modeling and implementing probabilistic concurrent systems
- Foundations of Software Science and Computational Structures
- FM 2005: Formal Methods
- Confusion-tolerant computation of probability in acyclic nets
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 Q5207054)
