|
5
|
The implementation of interactive local state transition systems in Clean
– Peter Achten, Rinus Plasmeijer
- 1999
|
|
21
|
Porting the Clean Object I/O Library to Haskell
– Peter Achten, Simon Peyton Jones
- 2000
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
|
Concurrent Programming in Haskell
– Victor M. Gulias, Jose L. Freire
- 1996
|
|
21
|
Interactive Functional Objects in Clean
– Peter Achten, Rinus Plasmeijer
- 1997
|
|
|
Mechanized Reasoning about Concurrent Functional Programs
– Sava Mintchev, London Wm Js
|
|
13
|
Cooperative Computing with Fragmentable and Mergeable Groups
– Chryssis Georgiou, Alex Shvartsman
- 2000
|
|
4
|
Using Group Communication to Support Inter-Vehicle Coordination
– Eoin O'Gorman, B. Eng
- 2002
|
|
2
|
A One-Round Algorithm for Virtually Synchronous Group Communication in Wide Are Networks
– Roger I Khazan, Roger I Khazan
- 1998
|
|
2
|
Properties of Distributed Group Communication and Their Utilization
– Roman Vitenberg, Prof Danny Dolev
- 1998
|
|
1
|
A Framework For Communication Support In Object Oriented Distributed Systems
– Anish S. Karmarkar, Jennifer L. Welch, Nitin H. Vaidya, Terry R. Larsen, Wei Zhao
- 1997
|
|
2
|
Intrusion-Tolerant State Transfer For Group Communication Systems
– Vishu Gupta, Dave Daly, Salem Derisavi, Sudha Krishnamurthy, Vinh Lam, Ryan Lefever
- 2003
|
|
2
|
A Replication Protocol For An Intrusion-Tolerant System Design
– James Patrick Lyons
- 2003
|
|
8
|
Optimal Scheduling for Disconnected Cooperation
– Grzegorz Greg Malewicz, Alexander Russell, Alex A. Shvartsman
- 2001
|
|
10
|
Reliable Delivery And Ordering Mechanisms For An Intrusion-Tolerant Group Communication System
– Prashant Pandey
- 2001
|
|
8
|
A Group Membership Protocol For An Intrusion-Tolerant Group Communication System
– Harigovind Venkatraj Ramasamy
- 2002
|
|
5
|
A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach
– Idit Keidar, Roger Khazan
- 2002
|
|
17
|
Dynamic Load Balancing with Group Communication
– Shlomi Dolev, Roberto Segala, Alex Shvartsman
- 1996
|
|
1
|
A Possible Solution to the Impossible Membership Problem
– Massimo Franceschetti, Jehoshua Bruck
- 1999
|
