Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Ulidowski, Irek - Department of Computer Science, University of Leicester
Termination and con uence of term rewrite systems for GSOS process languages
Equivalences on Observable Processes Irek Ulidowski
Ordered SOS Process Languages for Branching and Eager Bisimulations
Towards General Process Languages with Time Irek Ulidowski Shoji Yuen
Finite Axiom Systems for Testing Preorder and De Simone Process Languages
Axiomatisations of Weak Equivalences for De Simone Languages
Finite Axiom Systems for Testing Preorder and De Simone Process Languages
True Concurrency Semantics via Reversibility Iain Phillips1
Formats of Ordered SOS Rules with Silent Actions
