Regular Trace Event Structures (1996)

by P. S. Thiagarajan , P. S. Thiagarajan
Citations:6 - 0 self

Documents Related by Co-Citation

75 Event structure semantics for CCS and related languages – Glynn Winskel, Glynn Winskel - 1982
117 Free Choice Petri Nets – J. Desel, J. Esparza - 1995
27 Probabilistic event structures and domains – Daniele Varacca - 2004
20 Randomized non-sequential processes, in – H Völzer - 2003
4 Intégration, chapitre ix. Éléments de Mathématiques, fascicule xxxv – N Bourbaki - 1961
5 Probabilistic model for concurrent and distributed systems. limit theorems and application to statistical parametric estimation – S Abbes - 2004
30 Markov Nets: Probabilistic Models for distributed and concurrent systems – Albert Benveniste, Eric Fabre, Stefan Haar - 2001
14 Branching cells as local states for event structures and nets: Probabilistic applications – Samy Abbes, Albert Benveniste - 2005
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
18 Semantic Domains for Combining Probability and Non-Determinism – Regina Tix, Klaus Keimel, Gordon Plotkin - 2005
32 An Extension Result for Continuous Valuations – M. Alvarez-Manilla, A. Edalat, N. Saheb-djahromi - 1998
64 G.: Petri nets, event structures and domains, part 1. Theoretical Computer Science 13 – M Nielsen, G Plotkin, Winskel - 1981
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
3 Gudmund Skovbjerg Frandsen, and Jeffrey Outlaw Shallit. The Computational Complexity of Some Problemsof Linear Algebra – RS-96-33 Jonathan F Buss - 1996
10 Relations: Practical Ways to Reason about `new – Equations Names - 1996
4 Arge. The I/O-Complexity of Ordered BinaryDecision Diagram Manipulation – RS-96-29 Lars - 1996
11 Cattani and Glynn Winskel. Presheaf models for concurrency – Gian Luca - 1996
15 Model-Checking for a Subclass of Event Structures – Wojciech Penczek - 1997
2 Logics and bisimulation games for concurrency, causality and conflict – J Gutierrez - 2009