From Explicit to Symbolic Types for Communication Protocols in CCS

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

NullPointerException

View graph of relations

We study communication protocols having several rounds and expressed in value passing CCS. We develop a type-based analysis for providing an explicit record of all communications and show the usual subject reduction result. Since the explicit records can be infinitely large, we also develop a type-based analysis for providing a finite, symbolic record of all communications. We show that it correctly approximates the explicit record and prove an adequacy result for it.
Original languageEnglish
TitleFormal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
PublisherSpringer
Publication date2012
Pages74-89
ISBN (print)978-3-642-24932-7
DOIs
StatePublished

Conference

ConferenceSymposium in honor of Carolyn Talcott
CityMenlo Park, California, USA
Period01/01/12 → …
NameLecture Notes in Computer Science
Number7000
ISSN (Print)0302-9743
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 6622159