Distributed Simulation of ECATNets: A Conservative Approach

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by K. Djemame Articles by D.C. Gilles Articles by L.M. Mackenzie Articles by M. Bettaz

4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96)

PORTUGAL

January 24-January 26

ISBN: 0-8186-7376-1

	ASCII Text	x
	K. Djemame, D.C. Gilles, L.M. Mackenzie, M. Bettaz, "Distributed Simulation of ECATNets: A Conservative Approach," Parallel, Distributed, and Network-Based Processing, Euromicro Conference on, pp. 0518, 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996.

	BibTex	x
	@article{ 10.1109/EMPDP.1996.500627, author = {K. Djemame and D.C. Gilles and L.M. Mackenzie and M. Bettaz}, title = {Distributed Simulation of ECATNets: A Conservative Approach}, journal ={Parallel, Distributed, and Network-Based Processing, Euromicro Conference on}, volume = {0}, year = {1996}, isbn = {0-8186-7376-1}, pages = {0518}, doi = {http://doi.ieeecomputersociety.org/10.1109/EMPDP.1996.500627}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on TI - Distributed Simulation of ECATNets: A Conservative Approach SN - 0-8186-7376-1 SP EP A1 - K. Djemame, A1 - D.C. Gilles, A1 - L.M. Mackenzie, A1 - M. Bettaz, PY - 1996 KW - discrete event simulation; process algebra; distributed algorithms; ECATNets; conservative approach; extended concurrent algebraic term nets; high-level algebraic nets; distributed systems specification; parallel systems specification; parallel simulation techniques; distributed discrete event simulation; partitioned model; connected subnets; logical processes VL - 0 JA - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on ER -

K. Djemame, Dept. of Comput. Sci., Glasgow Univ., UK

D.C. Gilles, Dept. of Comput. Sci., Glasgow Univ., UK

L.M. Mackenzie, Dept. of Comput. Sci., Glasgow Univ., UK

M. Bettaz, Dept. of Comput. Sci., Glasgow Univ., UK

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMPDP.1996.500627

Abstract: ECATNets (Extended Concurrent Algebraic Term Nets) are a kind of high-level algebraic net used for specifying various aspects of distributed and parallel systems. We address the problem of developing parallel simulation techniques to analyze ECAT-Nets. Distributed discrete event simulation (DDES) is used to develop a simulation framework for studying their behaviour. The ECATNet model to be simulated is partitioned into several connected subnets. The various subnets are simulated in parallel by several logical processes. We develop and discuss a distributed simulation protocol based on the conservative approach to execute discrete event simulations of ECATNets.

Index Terms:

discrete event simulation; process algebra; distributed algorithms; ECATNets; conservative approach; extended concurrent algebraic term nets; high-level algebraic nets; distributed systems specification; parallel systems specification; parallel simulation techniques; distributed discrete event simulation; partitioned model; connected subnets; logical processes

Citation:

K. Djemame, D.C. Gilles, L.M. Mackenzie, M. Bettaz, "Distributed Simulation of ECATNets: A Conservative Approach," pdp, pp.0518, 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.