Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rob Glabbeek
Equivalence Notions for Concurrent Systems and Refinement of Actions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Stochastic Equivalence for Performance Analysis of Concurrent Systems in dtsiPBC
Siberian Electronic Mathematical Reports
Mathematics
Notions of Spanning Surface Equivalence
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Equivalence and Strong Equivalence of Actions on Handlebodies
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Equivalence and Strong Equivalence of Actions on Handlebodies
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Relaxed Notions of Schema Mapping Equivalence Revisited
Refinement of Timing Constraints for Concurrent Tasks With Scheduling
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Understanding Structure of Concurrent Actions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Behavioural Notions for Elementary Net Systems
DAIMI Report Series
Verification of Concurrent Quantum Protocols by Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
