A congruence relation for sPBC (Q2481583): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Hermenegilda Macia / rank | |||
Property / author | |||
Property / author: Valentin Valero / rank | |||
Property / author | |||
Property / author: David de Frutos / rank | |||
Property / author | |||
Property / author: Hermenegilda Macia / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Valentin Valero / rank | |||
Normal rank | |||
Property / author | |||
Property / author: David de Frutos / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10703-007-0045-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2141221549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4835250 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2760251 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Petri net algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2703726 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Process algebra for performance evaluation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Compositional Approach to Performance Modelling / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3262596 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2766569 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bisimulation through probabilistic testing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal Techniques for Networked and Distributed Systems – FORTE 2004 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 21:14, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A congruence relation for sPBC |
scientific article |
Statements
A congruence relation for sPBC (English)
0 references
11 April 2008
0 references
Stochastic process algebras
0 references
Petri box calculus
0 references
Operational semantics
0 references
Stochastic Petri nets
0 references
0 references