Correspondences between statecharts, event structures, and concurrent regular expressions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Correspondences between statecharts, event structures, and concurrent regular expressions

Full text

Pdf (751 KB)

Source

ACM Southeast Regional Conference archive
Proceedings of the 36th annual Southeast regional conference table of contents

Pages: 178 - 184

Year of Publication: 1998

ISBN:1-58113-030-9

Author

Jeffrey B. Green

Department of Computer Science, Clemson University, Clemson SC

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 16, 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/275295.275355 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érard Boudol, Flow event structures and flow nets, Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes, p.62-95, November 1990, La Roche Posay, France
	2	Vijay K. Garg , M. T. Ragunath, Concurrent regular expressions and their relationship to Petri nets, Theoretical Computer Science, v.96 n.2, p.285-304, April 1992 [doi>10.1016/0304-3975(92)90339-H]
	3	David Harel , Amnon Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.4, p.293-333, Oct. 1996 [doi>10.1145/235321.235322]
	4	P. W. Hoogers , H. C. M. Kleijn , P. S. Thiagarajan, A trace semantics for Petri nets, Information and Computation, v.117 n.1, p.98-114, Feb. 15, 1995 [doi>10.1006/inco.1995.1032]
	5	A Mazurkiewicz, Trace theory, Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency, p.279-324, February 1987, Bad Honnef
	6	Glynn Winskel, An introduction to event structures, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, p.364-397, May 30-June 03, 1988