Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
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.
|Title of host publication||Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday|
|State||Published - 2012|
|Event||Symposium in honor of Carolyn Talcott - Menlo Park, California, USA|
|Conference||Symposium in honor of Carolyn Talcott|
|City||Menlo Park, California, USA|
|Period||01/01/2012 → …|
|Name||Lecture Notes in Computer Science|
|Citations||Web of Science® Times Cited: No match on DOI|
Loading map data...