Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser .
Papers
Lecture Notes in Computer Science , 2014
Bookmarks Related papers Mentions View impact
Proceedings of the 9th India Software Engineering Conference on - ISEC '16 , 2016
Bookmarks Related papers Mentions View impact
ABSTRACT
Bookmarks Related papers Mentions View impact
Electronic Proceedings in Theoretical Computer Science , 2013
Bookmarks Related papers Mentions View impact
Computer Aided Verification , 2012
Bookmarks Related papers Mentions View impact
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
Bookmarks Related papers Mentions View impact
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) , 2016
ABSTRACT
Bookmarks Related papers Mentions View impact
Bookmarks Related papers Mentions View impact
Bookmarks Related papers Mentions View impact
Lecture Notes in Computer Science , 2004
Bookmarks Related papers Mentions View impact
Bookmarks Related papers Mentions View impact
Lecture Notes in Computer Science , 2005
Bookmarks Related papers Mentions View impact
Proceedings of the 2006 international workshop on Dynamic systems analysis - WODA '06 , 2006
Bookmarks Related papers Mentions View impact
CONCUR 2014 – Concurrency Theory , 2014
Bookmarks Related papers Mentions View impact
Lecture Notes in Computer Science , 2013
Bookmarks Related papers Mentions View impact
Optimizations and Machine Code Generation , 2002
Bookmarks Related papers Mentions View impact
The Computer Journal , 1995
Bookmarks Related papers Mentions View impact
Information Processing Letters , 1985
Bookmarks Related papers Mentions View impact
Citeseer
The question of when two nondeterministic concurrent systems are behaviourally related has occupi... more The question of when two nondeterministic concurrent systems are behaviourally related has occupied a large part of the literature on process algebra and has yielded a variety of equivalences (and congruences) and preorders (and precongruences) all based ...
Bookmarks Related papers Mentions View impact
Information processing letters , 1985
Bookmarks Related papers Mentions View impact
Lecture Notes in Computer Science , 2014
Bookmarks Related papers Mentions View impact
Proceedings of the 9th India Software Engineering Conference on - ISEC '16 , 2016
Bookmarks Related papers Mentions View impact
ABSTRACT
Bookmarks Related papers Mentions View impact
Electronic Proceedings in Theoretical Computer Science , 2013
Bookmarks Related papers Mentions View impact
Computer Aided Verification , 2012
Bookmarks Related papers Mentions View impact
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
Bookmarks Related papers Mentions View impact
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) , 2016
ABSTRACT
Bookmarks Related papers Mentions View impact
Bookmarks Related papers Mentions View impact
Bookmarks Related papers Mentions View impact
Lecture Notes in Computer Science , 2004
Bookmarks Related papers Mentions View impact
Bookmarks Related papers Mentions View impact
Lecture Notes in Computer Science , 2005
Bookmarks Related papers Mentions View impact
Proceedings of the 2006 international workshop on Dynamic systems analysis - WODA '06 , 2006
Bookmarks Related papers Mentions View impact
CONCUR 2014 – Concurrency Theory , 2014
Bookmarks Related papers Mentions View impact
Lecture Notes in Computer Science , 2013
Bookmarks Related papers Mentions View impact
Optimizations and Machine Code Generation , 2002
Bookmarks Related papers Mentions View impact
The Computer Journal , 1995
Bookmarks Related papers Mentions View impact
Information Processing Letters , 1985
Bookmarks Related papers Mentions View impact
Citeseer
The question of when two nondeterministic concurrent systems are behaviourally related has occupi... more The question of when two nondeterministic concurrent systems are behaviourally related has occupied a large part of the literature on process algebra and has yielded a variety of equivalences (and congruences) and preorders (and precongruences) all based ...
Bookmarks Related papers Mentions View impact
Information processing letters , 1985
Bookmarks Related papers Mentions View impact
Log in with Facebook Log in with Google
Uploads