References

Bir95

Andrew Birrell, Greg Nelson, Susan Owicki, and Edward P. Wobber.
Network Objects.
Software Practice and Experience, 25(S4):87-130, December 1995. Also appeared as SRC Research Report 115,
see http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-115.html

Ber94

Berrington, N, David DeRoure, Mark Greenwood and Peter Henderson
Distribution and Change: Investigating two challenges for process enactment systems.
in Software Process Technology, EWSPT 94, Springer Verlag LNCS 772. (1994)

Bre96

Breu, R and E Zucca
Algebraic Specification Framework for Object-Oriented Languages with Concurrency
Formal Aspects of Computing, Vol 8, No 6. (1996)

Bro96

Brown, Marc H and Marc A Najork
Distributed Active Objects
Computer Networks and ISDN Systems, 28:1037-1052, May 1996. (Proceedings of the Fifth International World Wide Web Conference, Paris, France, May 6-10, 1996). Digital Systems Research Center, Report 141a,
http://www.research.digital.com/SRC/bibindex/tmp/30547.html

Car95

Cardelli, Luca
A Language with Distributed Scope.
Computing Systems, Vol 8, No1, Jan 1995.

Cla91

Clarke E.M., J.R.Burch, O Grumberg, D.E.Long and K.L.McMillan
Automatic Verification of Sequential Circuit Designs.
in Mechanised Reasoning and Hardware Design, Royal Society Discussion Meeting, October 1991.

Gra96

Gravell, A. and P. Henderson,
Executing formal specifications need not be harmful,
Software Engineering Journal, vol. 11, num 2., IEE. (1996)

Hen91

Henderson, P & BC Warboys
Configuration Description for Component Reuse,
First International Workshop on Software Reuse, Dortmund, 1991

Hen95

Henderson, P & Pratten, G.D.
POSD - A Notation for Presenting Complex Systems of Processes,
in Proceedings of the First IEEE International Conference on Engineering of Complex Systems, IEEE Computer Society Press (1995)

Hen86

Henderson, P
Functional Programming, Formal Specification and Rapid Prototyping,
IEEE Transactions on Software Engineering, Vol.12, No.2, pp.241-250, 1986

Hoare86

Hoare C.A.R
Communicating Sequential Processes
Prentice Hall, 1986

Ip96

Ip C, Norris and David L Dill
Verifying Systems with Replicated Components in Murphi.
International Conference on Computer Aided Verification. (1996)
see http://sprout.stanford.edu/dill/murphi.html

Jac96

Jackson, D, Somesh Jha and Craig A Damon
Faster Checking of Software Specifications By Eliminating Isomorphs.
Proc. ACM Conf. on Principles of Programming Languages , Jan 1996.
see http://www.cs.cmu.edu/afs/cs/user/dnj/pub/www/home.html

Mil89

Milner, Robin
Communication and Concurrency
Prentice Hall International (1989)

Mil91

Milner, Robin
The Polyadic pi-calculus: a tutorial
International Summerschool on Logic and Algebra of Specification, Marktoberdorf, (1991)
see http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/91/ECS-LFCS-91-180/index.html

Mil93

Milner, Robin
Elements of Interaction: Turing Award Lecture
Communications of the ACM, Vol 36, No 1, January 1993

Tur95

Turner David, N
The Polymorphic pi-calculus: Theory and Implementation
Ph.D Thesis, University of Edinburgh, 1995
see http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/96/ECS-LFCS-96-345/index.html