Sfoglia per Rivista ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
An Abstract Framework for Choreographic Testing
2020-01-01 Coto, Alex; Guanciale, Roberto; Tuosto, Emilio
The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
2025-01-01 Aceto, Luca; Achilleos, Antonis; Chalki, Aggeliki; Ingólfsdóttir, Anna
Complexity through Translations for Modal Logic with Recursion
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingolfsdottir, Anna
Formalization of Automated Trading Systems in a Concurrent Linear Framework
2019-01-01 Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Zunic, Dragisa
From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
2024-01-01 Grabmayer, C.
Modeling terms by graphs with structure constraints (two illustrations)
2019-01-01 Grabmayer, C.
A note on compliance relations and fixed points.?
2019-01-01 Murgia, M.
On urgency in asynchronous timed session types
2018-01-01 Murgia, M.
Preface the Proceedings of the Twelfth International Workshop on Computing with Terms and Graphs (editor Clemens Grabmayer)
2023-01-01 Grabmayer, C.
Rational verification in iterated electric boolean bames
2016-01-01 Oualhadj, Y; Troquard, N
Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions
2021-01-01 Grabmayer, C.
Teaching functional patterns through robotic applications
2016-01-01 Boender, J.; Currie, E.; Loomes, M.; Primiero, G.; Raimondi, F.
Towards Refinable Choreographies
2020-01-01 De'Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio
Transformation of UML Behavioral Diagrams to Support Software Model Checking
2014-01-01 Brasil Rebelo Dos Santos, Luciana; Alexandre De Santiago, Valdivino; Lankalapalli Vijaykumar, Nandamudi
The Way We Were: Structural Operational Semantics Research in Perspective
2023-01-01 Aceto, Luca; Crescenzi, Pierluigi; Ingólfsdóttir, Anna; Mousavi, Mohammad Reza
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile