Static Analysis Techniques for Session-Oriented Calculi

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)
Original languageUnknown
Title of host publicationRigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
EditorsWirsing Martin, Holzl Matthias
Place of PublicationBerlin / Heidelberg
PublisherSpringer
Pages214-231
ISBN (Print)978-3-642-20400-5
Publication statusPublished - 1 Jan 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Number6582

Cite this