A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics

	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 Marcelo Fiore Articles by Sam Staton

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)

Seattle, Washington

August 12-August 15

ISBN: 0-7695-2631-4

	ASCII Text	x
	Marcelo Fiore, Sam Staton, "A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics," Logic in Computer Science, Symposium on, pp. 49-58, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 2006.

	BibTex	x
	@article{ 10.1109/LICS.2006.7, author = {Marcelo Fiore and Sam Staton}, title = {A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics}, journal ={Logic in Computer Science, Symposium on}, volume = {0}, year = {2006}, issn = {1043-6871}, pages = {49-58}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2006.7}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Logic in Computer Science, Symposium on TI - A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics SN - 1043-6871 SP49 EP58 A1 - Marcelo Fiore, A1 - Sam Staton, PY - 2006 KW - null VL - 0 JA - Logic in Computer Science, Symposium on ER -

Marcelo Fiore, University of Cambridge

Sam Staton, University of Cambridge

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2006.7

We introduce a mathematical structural operational semantics that yields a congruence result for bisimilarity and is suitable for investigating rule formats for name-passing systems. Indeed, we instantiate this general abstract model theory in a framework of nominal sets and extract from it a GSOS-like rule format for name-passing process calculi for which the associated notion of behavioural equivalence - given by a form of open bisimilarity - is a congruence.

Citation:

Marcelo Fiore, Sam Staton, "A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics," lics, pp.49-58, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 2006

Peer Review Notice | Give Us Feedback

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