Found 20 Documents (Results 1–20)
Rabin’s theorem in the concurrency setting: a conjecture. (English) Zbl 1308.68085
Reviewer: Jörg Desel (Hagen)
Complete proof systems for weighted modal logic. (English) Zbl 1317.68120
Reviewer: Damas Gruska (Bratislava)
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. (English) Zbl 1360.68626
MSC:
68Q85
Branching cells for asymmetric event structures. (English) Zbl 1360.68622
MSC:
68Q85
Events in context. (English) Zbl 1360.68623
Trust in event structures. (English) Zbl 1360.68633
Filter Results by …
all
top 5
Author
- Abbes, Samy (3)
- Benveniste, Albert (2)
- Jard, Claude (2)
- Abramsky, Samson (1)
- Bauer, Andrej (1)
- Bernardo, Marco (1)
- Bucalo, Anna (1)
- Cattani, Gian Luca (1)
- Clausen, Christian (1)
- Curien, Pierre-Louis (1)
- Danvy, Olivier (1)
- De Nicola, Rocco (1)
- Fiore, Marcelo P. (1)
- Garner, Richard (1)
- Hildebrandt, Thomas T. (1)
- Hofmann, Martin (1)
- Hyland, J. Martin E. (1)
- Kinoshita, Yoshiki (1)
- Larsen, Kim Guldstrand (1)
- Loreti, Michele (1)
- Mardare, Radu (1)
- Masuko, Moe (1)
- Mislove, Michael W. (1)
- Montanari, Ugo G. (1)
- Panangaden, Prakash (1)
- Plotkin, Gordon D. (1)
- Power, John (1)
- Rosolini, Giuseppe (1)
- Sammartino, Matteo (1)
- Scott, Dana Stewart (1)
- Thiagarajan, Pazhamaneri Subramaniam (1)
- van Oosten, Jaap (1)
- Varacca, Daniele (1)
- Yang, Shaofa (1)
Biographic Reference
- Winskel, Glynn (4)