×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [process calculi]
Home >
process calculi
Session-based Distributed Programming in Java Raymond Hu 1 Session-based Distributed Programming in Java Raymond Hu 1, Nobuko Yoshida 1 and Kohei Honda.
212 views
Applying the paradigms of core.async in Clojure and ClojureScript
291 views
Anon p2p slides
46 views
1 Software Architecture Bertrand Meyer ETH Zurich, March-May 2009 Lecture 15: Designing for concurrency & real-time.
216 views
1 Ivan Lanese Computer Science Department University of Bologna Italy On the Interplay between Fault Handling and Request-response Service Invocations.
213 views
1 Ivan Lanese Computer Science Department University of Pisa (moved to Bologna) Synchronization strategies for global computing models Ph.D. thesis discussion.
218 views
7. Fixed Points. © O. Nierstrasz PS — Fixed Points 7.2 Roadmap Representing Numbers Recursion and the Fixed-Point Combinator The typed lambda calculus.
215 views
1 Ivan Lanese Computer Science Department University of Bologna Italy Error Handling in Service Oriented Computing Joint work with Claudio Guidi, Fabrizio.
214 views
7. Fixed Points. © O. Nierstrasz PS — Fixed Points 7.2 Roadmap Overview Representing Numbers Recursion and the Fixed-Point Combinator The typed.
215 views
Computing in the Life Sciences Stephen Emmott Microsoft Research Cambridge.
213 views
CS 290C: Formal Models for Web Software Lectures 14 and 15: Choreography and Orchestration Modeling with Process Algebras Instructor: Tevfik Bultan.
213 views
A Survey Anonymity and Anonymous File-Sharing
60 views
Next >