Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Jump to: Article
Number of items: 2.


Bocchi, Laura, Melgratti, HernĂ¡n, Tuosto, Emilio (2020) On Resolving Non-determinism in Choreographies. Logical Methods in Computer Science, 16 (3). 18:1-18:69. ISSN 1860-5974. (KAR id:83104)
[thumbnail of 1904.08337.pdf]
Grigore, Radu, Tzevelekos, Nikos (2016) History-Register Automata. Logical Methods in Computer Science, 12 (1). pp. 1-32. ISSN 1860-5974. (KAR id:54558)
[thumbnail of 1209.0680v3.pdf]
This list was generated on Tue Nov 30 01:47:10 2021 GMT.