On the verification of open distributed systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On the verification of open distributed systems

Full text

Pdf (962 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 1998 ACM symposium on Applied Computing table of contents

Atlanta, Georgia, United States

Pages: 532 - 540

Year of Publication: 1998

ISBN:0-89791-969-6

Authors

Mads Dam	Swedish Institute of Computer Science, Box 1263, 164 28 Kista, Sweden
Lars-åke Fredlund	Swedish Institute of Computer Science, Box 1263, 164 28 Kista, Sweden

Sponsors

SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGAPP: ACM Special Interest Group on Applied Computing
SIGBIO: ACM Special Interest Group on Biomedical Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 15, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/330560.330917 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Gul A. Agha , Ian A. Mason , Scott F. Smith , Carolyn L. Talcott, A foundation for actor computation, Journal of Functional Programming, v.7 n.1, p.1-72, January 1997 [doi>10.1017/S095679689700261X]
	2	Roberto M. Amadio , Mads Dam, Toward a Modal Theory of Types for the pi-Calculus, Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.347-365, September 09-13, 1996
	3	Joe Armstrong , Robert Virding , Claes Wikström , Mike Williams, Concurrent programming in ERLANG (2nd ed.), Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1996
	4	Mads Dam, Compositional Proof Systems for Model Checking Infinite State Processes, Proceedings of the 6th International Conference on Concurrency Theory, p.12-26, August 21-24, 1995
	5	Mads Dam , Lars-åke Fredlund , Dilian Gurov, Toward Parametric Verification of Open Distributed Systems, Revised Lectures from the International Symposium on Compositionality: The Significant Difference, p.150-185, September 08-12, 1997
	6	Robin Milner , Joachim Parrow , David Walker, A calculus of mobile processes, II, Information and Computation, v.100 n.1, p.41-77, Sept. 1992 [doi>10.1016/0890-5401(92)90009-5]
	7	Alex K. Simpson, Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS, Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, p.420, June 26-29, 1995
	8	Colin Stirling , David Walker, Local model checking in the modal mu-calculus, Theoretical Computer Science, v.89 n.1, p.161-177, Oct. 21, 1991
	9	Glynn Winskel, A note on model checking the model &ngr;-calculus, Theoretical Computer Science, v.83 n.1, p.157-167, June 21, 1991

CITED BY 3

	Frank Huch, Verification of Erlang programs using abstract interpretation and model checking, ACM SIGPLAN Notices, v.34 n.9, p.261-272, Sept. 1999
	Koen Claessen , Hans Svensson, A semantics for distributed Erlang, Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, September 26-28, 2005, Tallinn, Estonia
	Hans Svensson , Lars-Åke Fredlund, A more accurate semantics for distributed erlang, Proceedings of the 2007 SIGPLAN workshop on Erlang Workshop, October 05-05, 2007, Freiburg, Germany