Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Carlos Gregorio-Rodríguez
Effectiveness for Input Output Conformance Simulation Iocos̱
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
New Bisimulation Semantics for Distributed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science