Publication | Closed Access
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
285
Citations
40
References
1998
Year
EngineeringConcurrent ProgrammingConcurrency TheoryFormal MethodsSystems EngineeringProbability TheoryComputer ScienceConcurrent ProcessesConcurrent SystemDecision TheoryProcess Calculus
| Year | Citations | |
|---|---|---|
Page 1
Page 1