|
|
DRAFT
– S. L. Bloom, Z. Ésik
- 2006
|
|
22
|
Algebraic Approaches to Nondeterminism - an Overview
– Michal Walicki, Sigurd Meldal
- 1997
|
|
|
Semantics Of Non-Terminating Systems Through Term Rewriting
– José Bernardo dos Santos Monteiro Vieira de Barros
- 1995
|
|
18
|
Rational Term Rewriting
– A. Corradini, F. Gadducci
- 1998
|
|
|
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi
– Ugo de' Liguoro
- 1991
|
|
33
|
Formal tree series
– Zoltán Ésik, Werner Kuich
- 2003
|
|
16
|
A Model for the pi-Calculus
– M. Hennessy
- 1991
|
|
|
Software Technology UNU/IIST Report No. 282 R
– August Unu Iist, He Jifeng, Tony Hoare
- 2003
|
|
13
|
On Linguistic Support for Distributed Programs
– Barbara Liskov
- 1982
|
|
840
|
Generative communication in Linda
– David Gelernter
- 1985
|
|
|
Processes and Nets
– The Fundamental Processing, The Work Of George Milne
|
|
1
|
Upside down ∀s and algorithms – computational formalisms and theory
– Alan Dix
|
|
1
|
Robust Safety of Timed Automata
– Martin De Wulf , Laurent Doyen, Nicolas Markey, Jean-François Raskin
|
|
|
Better Monitors for Java
– Theodore S. Norvell
|
|
|
http://www.cs.otago.ac.nz/research/techreports.php View-Oriented Transactional Memory
– K. Leung, Z. Huang, K. Leung, Z. Huang
|
|
8
|
Personal Distributed Computing: The Alto and Ethernet Software
– Butler W. Lampson
- 1988
|
|
9
|
Process-aware interrupt scheduling and accounting
– Yuting Zhang, Richard West
- 2006
|
|
|
The 12 Commandments of Synchronization
– Emin Gün Sirer
- 2011
|
|
119
|
The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors
– Thomas E. Anderson, Edward D. Lazowska, Henry, M. Levy
- 1989
|
