Modelling distributed systems using Z

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Modelling distributed systems using Z

Full text

Pdf (515 KB)

Source

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

Nashville, Tennessee, United States

Pages: 147 - 151

Year of Publication: 1995

ISBN:0-89791-658-1

Authors

Howard Bowman	Computing Laboratory, University of Kent, Canterbury, UK
John Derrick	Computing Laboratory, University of Kent, Canterbury, UK

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references 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/315891.315941 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	G. Cowen, J. Derrick, M. Gill, G. Girting (editor), A. Herbert, P. F. Linington, D. l~yner, F. Schulz, and R. Soley. Prost Report of the Study on Testing .for Open Distributed Processing. APM Ltd, 1993.
	2	E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Pro#ramming Languages. Academic Press, 1968.
	3	K. Faxooqui and L. Logrippo. Viewpoint transformations. In J. de Meer, B. Mahr, and O. Spaniol, editors, ~nd International IFIP TC6 Conference on Open Distributed Processing, pages 352-362, Berlin, Germany, September 1993.
	4	ISO/IEC JTC1/SC21/WG7. Basic reference model of Open Distributed Processing - Parts 1-4, July 1993.
	5	Steve King, Z and the Refinement Calculus, Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development, p.164-188, April 17-21, 1990
	6	Peter F. Linington, Introduction to the Open Distributed Processing Basic Reference Model, Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, p.3-13, October 08-11, 1991
	7	Ben Potter , Jane Sinclair , David Till, An introduction to formal specification and Z, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	8	J. M. Spivey, The Z notation: a reference manual, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	9	A. Vogel. On ODP's architectural semantics using LOTOS. In J. de Meet, B. Mahr, and O. $paniol, editors, ~nd International IFIP TC6 Conference on Open Distributed Processing, pages 340-345, Berlin, Germany, September 1993.