Loading…
Loading…
Loading…
Asynchronous games 2: The true concurrency of innocence
Get full text
Journal Article
Conference Proceeding
Loading…
Efficient algorithms for program equivalence for confluent concurrent constraint programming
Pino, Luis F., Bonchi, Filippo, Valencia, Frank
Published in Science of computer programming (01.11.2015)
Published in Science of computer programming (01.11.2015)
Get full text
Journal Article
Loading…
Introduction to the Special Issue on Distributed Hybrid Systems
Abate, Alessandro, Fahrenberg, Uli, Fränzle, Martin
Published in Leibniz transactions on embedded systems (01.12.2022)
Published in Leibniz transactions on embedded systems (01.12.2022)
Get full text
Journal Article
Loading…
Symbolic synthesis of masking fault-tolerant distributed programs
Bonakdarpour, Borzoo, Kulkarni, Sandeep S., Abujarad, Fuad
Published in Distributed computing (01.03.2012)
Published in Distributed computing (01.03.2012)
Get full text
Journal Article
Loading…
Loading…
Process algebra for performance evaluation
Hermanns, Holger, Herzog, Ulrich, Katoen, Joost-Pieter
Published in Theoretical computer science (06.03.2002)
Published in Theoretical computer science (06.03.2002)
Get full text
Journal Article
Conference Proceeding
Loading…
Loading…
Loading…
Trust in Anonymity Networks
Sassone, Vladimiro, Hamadou, Sardaouna, Yang, Mu
Published in CONCUR 2010 - Concurrency Theory (2010)
Published in CONCUR 2010 - Concurrency Theory (2010)
Get full text
Book Chapter