ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
Theoretical Computer Science
Volume 360, Issues 1-3, 21 August 2006, Pages 440-458
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (334 K)

  E-mail Article   
  Add to my Quick Links   
Bookmark and share in 2collab (opens in new window)
Request permission to reuse this article
  Cited By in Scopus (0)
 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/j.tcs.2006.05.030    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2006 Elsevier B.V. All rights reserved.

Processes as formal power series: A coinductive approach to denotational semanticsstar, open

Michele Borealea, Corresponding Author Contact Information, E-mail The Corresponding Author and Fabio Gadduccib, E-mail The Corresponding Author

aDipartimento di Sistemi e Informatica, Università di Firenze, Viale Morgagni 65, 50134 Firenze, Italia bDipartimento di Informatica, Università di Pisa, largo Pontecorvo 3c, 56127 Pisa, Italia

Received 16 November 2005; 
revised 3 May 2006; 
accepted 16 May 2006. 
Communicated by B.P.F. Jacobs. 
Available online 27 June 2006.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

We characterize must testing equivalence on CSP in terms of the unique homomorphism from the Moore automaton of CSP processes to the final Moore automaton of partial formal power series over a certain semiring. The final automaton is then turned into a CSP-algebra: operators and fixpoints are defined, respectively, via behavioural differential equations and simulation relations. This structure is then shown to be preserved by the final homomorphism. As a result, we obtain a fully abstract compositional model of CSP phrased in purely set-theoretical terms.

Keywords: Process calculi; Bisimulation; Testing equivalence; Coinduction; Formal power series


 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.