From Explicit to Symbolic Types for Communication Protocols in CCS
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
Standard
From Explicit to Symbolic Types for Communication Protocols in CCS. / Nielson, Hanne Riis; Nielson, Flemming; Kreiker, Jörg; Pilegaard, Henrik.
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Springer, 2012. p. 74-89 (Lecture Notes in Computer Science; No. 7000).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
Harvard
APA
CBE
MLA
Vancouver
Author
Bibtex
}
RIS
TY - GEN
T1 - From Explicit to Symbolic Types for Communication Protocols in CCS
AU - Nielson,Hanne Riis
AU - Nielson,Flemming
AU - Kreiker,Jörg
AU - Pilegaard,Henrik
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-642-24933-4_5
DO - 10.1007/978-3-642-24933-4_5
M3 - Article in proceedings
SN - 978-3-642-24932-7
SP - 74
EP - 89
BT - Formal Modeling: Actors, Open Systems, Biological Systems
PB - Springer
ER -