Squeak: a Language for Communicating with Mice (1985)

by Luca Cardelli , Rob Pike
Venue:Computer Graphics
Citations:52 - 4 self

Active Bibliography

Web Service Composition in the Grid Environment – Ioannis G. Baltopoulos - 2005
140 An overview and synthesis on timed process algebras – Xavier Nicollin, Joseph Sifakis - 1991
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
Enforcing Distributed Information Flow Policies Architecturally: the SAID Approach – Arnab Ray
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
4 A language for Modular Information-passing Agents – Rogier M. van Eijk, Frank S. de Boer, Wiebe Van Der Hoek, John-jules Ch. Meyer - 1997
1 A Study of Objects – Paul Hankin - 1999
1 A Fully Parallel Calculus of Synchronizing Processes – Diego Latella, Paola Quaglia - 1993
1 A message-exchange pattern based formal approach for b2b interactions – Juan Miguel Gomez, Sung-kook Han, Christoph Bussler - 2005
6 A Paradigm for Asynchronous Communication and its Application to Concurrent Constraint Programming – Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J.M.M. Rutten - 1993
Adding Enrichments to Refined Interleavings: A New Model for the π-Calculus – Michael Baldamus - 1999
1 Stable and Timed Formats for Process Algebra – Iain Phillips, Irek Ulidowski - 1995
JACK: A process algebra implementation in Java – Leonardo Freitas - 2002
2 Ordered SOS Process Languages for Branching and Eager Bisimulations – Irek Ulidowski, Iain Phillips - 2002
1 Minimizing The Number Of Transitions With Respect To Observation Equivalence – Jaana Eloranta
2 A truly concurrent semantics for a process algebra using resource pomsets – Paul Gastin, Michael Mislove - 2002
9 From Concurrent Logic Programming to Concurrent Constraint Programming – Frank S. de Boer, Catuscia Palamidessi - 1993
4 Stochastic Process Algebras -- Constructive Specification Techniques Integrating Functional, Performance and Dependability Aspects – H. Hermanns, U. Herzog, V. Mertsiotakis, M. Rettelbach - 1995