Discourje: Runtime Verification of Communication Protocols in Clojure

Ruben Hamers; Sung-Shik Jongmans

doi:10.1007/978-3-030-45190-5_15

Discourje: Runtime Verification of Communication Protocols in Clojure

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
Editors	Armin Biere, David Parker
Place of Publication	Cham
Publisher	Springer Open
Chapter	15
Pages	266-284
Number of pages	19
ISBN (Electronic)	978-3-030-45190-5
ISBN (Print)	978-3-030-45189-9
DOIs	https://doi.org/10.1007/978-3-030-45190-5_15
Publication status	Published - 2020
Event	(Cancelled) 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Dublin, Ireland Duration: 25 Apr 2020 → 30 Apr 2020 Conference number: 26 https://etaps.org/2020/tacas https://link.springer.com/content/pdf/10.1007%2F978-3-030-45237-7.pdf

Publication series

Series	Lecture Notes in Computer Science (LNCS) series
Volume	12078
ISSN	0302-9743

Series	Theoretical Computer Science and General Issues (LNCS subseries)
Volume	12078

Conference

Conference	(Cancelled) 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Abbreviated title	TACAS 2020
Country/Territory	Ireland
City	Dublin
Period	25/04/20 → 30/04/20
Internet address	https://etaps.org/2020/tacas https://link.springer.com/content/pdf/10.1007%2F978-3-030-45237-7.pdf

Access to Document

10.1007/978-3-030-45190-5_15Licence: CC BY

Cite this

Hamers, R., & Jongmans, S-S. (2020). Discourje: Runtime Verification of Communication Protocols in Clojure. In A. Biere, & D. Parker (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I (pp. 266-284). Springer Open. Lecture Notes in Computer Science (LNCS) series Vol. 12078 Theoretical Computer Science and General Issues (LNCS subseries) Vol. 12078 https://doi.org/10.1007/978-3-030-45190-5_15

Hamers, Ruben ; Jongmans, Sung-Shik. / Discourje : Runtime Verification of Communication Protocols in Clojure. Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. editor / Armin Biere ; David Parker. Cham : Springer Open, 2020. pp. 266-284 (Lecture Notes in Computer Science (LNCS) series, Vol. 12078). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12078).

@inproceedings{1fa05ea6025c44be853900886c7b9ac6,

title = "Discourje: Runtime Verification of Communication Protocols in Clojure",

author = "Ruben Hamers and Sung-Shik Jongmans",

year = "2020",

doi = "10.1007/978-3-030-45190-5_15",

language = "English",

isbn = "978-3-030-45189-9",

series = "Lecture Notes in Computer Science (LNCS) series",

publisher = "Springer Open",

pages = "266--284",

editor = "Armin Biere and David Parker",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "United Kingdom",

note = "(Cancelled) 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; Conference date: 25-04-2020 Through 30-04-2020",

url = "https://etaps.org/2020/tacas, https://link.springer.com/content/pdf/10.1007%2F978-3-030-45237-7.pdf",

}

Hamers, R & Jongmans, S-S 2020, Discourje: Runtime Verification of Communication Protocols in Clojure. in A Biere & D Parker (eds), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Springer Open, Cham, Lecture Notes in Computer Science (LNCS) series, vol. 12078, Theoretical Computer Science and General Issues (LNCS subseries), vol. 12078, pp. 266-284, (Cancelled) 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, 25/04/20. https://doi.org/10.1007/978-3-030-45190-5_15

Discourje: Runtime Verification of Communication Protocols in Clojure. / Hamers, Ruben; Jongmans, Sung-Shik.
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. ed. / Armin Biere; David Parker. Cham: Springer Open, 2020. p. 266-284 (Lecture Notes in Computer Science (LNCS) series, Vol. 12078). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12078).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Discourje

T2 - (Cancelled) 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

AU - Hamers, Ruben

AU - Jongmans, Sung-Shik

N1 - Conference code: 26

PY - 2020

Y1 - 2020

U2 - 10.1007/978-3-030-45190-5_15

DO - 10.1007/978-3-030-45190-5_15

M3 - Conference Article in proceeding

SN - 978-3-030-45189-9

T3 - Lecture Notes in Computer Science (LNCS) series

SP - 266

EP - 284

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Biere, Armin

A2 - Parker, David

PB - Springer Open

CY - Cham

Y2 - 25 April 2020 through 30 April 2020

ER -

Hamers R, Jongmans S-S. Discourje: Runtime Verification of Communication Protocols in Clojure. In Biere A, Parker D, editors, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Cham: Springer Open. 2020. p. 266-284. (Lecture Notes in Computer Science (LNCS) series, Vol. 12078). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12078). doi: 10.1007/978-3-030-45190-5_15