If you are experiencing problems downloading PDF or HTML fulltext, our helpdesk recommend clearing your browser cache and trying again. If you need help in clearing your cache, please click here . Still need help? Email help@ingentaconnect.com

Abstract interpretation of trace semantics for concurrent calculi

This article is hosted on another website.

You may be required to register, activate a subscription or purchase the article before you can obtain the full text.

Proceed

Download / Buy Article:

Keywords: Abstract interpretation; Concurrency; Formal semantics

Document Type: Research Article

DOI: http://dx.doi.org/10.1016/S0020-0190(99)00042-3

Affiliations: bDipartimento di Ingegneria dell'Informazione, Universita di Pisa, I-56126, Pisa, Italy

Publication date: April 30, 1999

Related content

Tools

Favourites

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more