A Synchronous Process Calculus for Service Costs

	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 Siva Anantharaman Articles by Jing Chen Articles by Gaetan Hains

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)

Koblenz, Germany

September 07-September 09

ISBN: 0-7695-2435-4

	ASCII Text	x
	Siva Anantharaman, Jing Chen, Gaetan Hains, "A Synchronous Process Calculus for Service Costs," Software Engineering and Formal Methods, International Conference on, pp. 435-444, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005.

	BibTex	x
	@article{ 10.1109/SEFM.2005.6, author = {Siva Anantharaman and Jing Chen and Gaetan Hains}, title = {A Synchronous Process Calculus for Service Costs}, journal ={Software Engineering and Formal Methods, International Conference on}, volume = {0}, year = {2005}, isbn = {0-7695-2435-4}, pages = {435-444}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.6}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Engineering and Formal Methods, International Conference on TI - A Synchronous Process Calculus for Service Costs SN - 0-7695-2435-4 SP435 EP444 A1 - Siva Anantharaman, A1 - Jing Chen, A1 - Gaetan Hains, PY - 2005 KW - null VL - 0 JA - Software Engineering and Formal Methods, International Conference on ER -

Siva Anantharaman, LIFO - Universite d' Orleans, France

Jing Chen, LIFO - Universite d' Orleans, France

Gaetan Hains, LIFO - Universite d' Orleans, France

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.6

We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply in this calculus, which in addition allows us to model naturally other notions such as service, and quality of service. They can be studied in an algebraic semi-ring setup using notions of cost on the transitions.

Citation:

Siva Anantharaman, Jing Chen, Gaetan Hains, "A Synchronous Process Calculus for Service Costs," sefm, pp.435-444, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005

Peer Review Notice | Give Us Feedback

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