Verifying Asynchronous Interactions via Communicating Session Automata

Julien Lange; Nobuko Yoshida

doi:10.1007/978-3-030-25540-4_6

Verifying Asynchronous Interactions via Communicating Session Automata

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings
Editors	Isil Dillig, Serdar Tasiran
Publisher	Springer Verlag
Pages	97-117
Number of pages	21
ISBN (Electronic)	978-3-030-25540-4
ISBN (Print)	978-3-030-25539-8
DOIs	https://doi.org/10.1007/978-3-030-25540-4_6
Publication status	Published - 12 Jul 2019
Event	31st International Conference on Computer Aided Verification, CAV 2019 - New York City, United States Duration: 15 Jul 2019 → 18 Jul 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11561 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	31st International Conference on Computer Aided Verification, CAV 2019
Country/Territory	United States
City	New York City
Period	15/07/19 → 18/07/19

Access to Document

10.1007/978-3-030-25540-4_6Licence: CC BY

Cite this

Lange, J., & Yoshida, N. (2019). Verifying Asynchronous Interactions via Communicating Session Automata. In I. Dillig, & S. Tasiran (Eds.), Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings (pp. 97-117). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11561 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-25540-4_6

Lange, Julien ; Yoshida, Nobuko. / Verifying Asynchronous Interactions via Communicating Session Automata. Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. editor / Isil Dillig ; Serdar Tasiran. Springer Verlag, 2019. pp. 97-117 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c48db8ed3f2b4a18acb7877a906eedf8,

title = "Verifying Asynchronous Interactions via Communicating Session Automata",

author = "Julien Lange and Nobuko Yoshida",

year = "2019",

month = jul,

day = "12",

doi = "10.1007/978-3-030-25540-4_6",

language = "English",

isbn = "978-3-030-25539-8",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "97--117",

editor = "Isil Dillig and Serdar Tasiran",

booktitle = "Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings",

address = "Germany",

note = "31st International Conference on Computer Aided Verification, CAV 2019 ; Conference date: 15-07-2019 Through 18-07-2019",

}

Lange, J & Yoshida, N 2019, Verifying Asynchronous Interactions via Communicating Session Automata. in I Dillig & S Tasiran (eds), Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11561 LNCS, Springer Verlag, pp. 97-117, 31st International Conference on Computer Aided Verification, CAV 2019, New York City, United States, 15/07/19. https://doi.org/10.1007/978-3-030-25540-4_6

Verifying Asynchronous Interactions via Communicating Session Automata. / Lange, Julien; Yoshida, Nobuko.
Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. ed. / Isil Dillig; Serdar Tasiran. Springer Verlag, 2019. p. 97-117 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11561 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Verifying Asynchronous Interactions via Communicating Session Automata

AU - Lange, Julien

AU - Yoshida, Nobuko

PY - 2019/7/12

Y1 - 2019/7/12

UR - http://www.scopus.com/inward/record.url?scp=85069863366&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-25540-4_6

DO - 10.1007/978-3-030-25540-4_6

M3 - Conference contribution

AN - SCOPUS:85069863366

SN - 978-3-030-25539-8

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 97

EP - 117

BT - Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings

A2 - Dillig, Isil

A2 - Tasiran, Serdar

PB - Springer Verlag

T2 - 31st International Conference on Computer Aided Verification, CAV 2019

Y2 - 15 July 2019 through 18 July 2019

ER -

Lange J, Yoshida N. Verifying Asynchronous Interactions via Communicating Session Automata. In Dillig I, Tasiran S, editors, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Springer Verlag. 2019. p. 97-117. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-25540-4_6

Verifying Asynchronous Interactions via Communicating Session Automata

Publication series

Conference

Access to Document

Other files and links

Cite this