Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Axiomatization of a Class of Parametrised Bisimilarities 1 Axiomatization of a Class of Parametrised
 

Summary: Axiomatization of a Class of Parametrised Bisimilarities 1
Axiomatization of a Class of Parametrised
Bisimilarities
Pranav Singh1
, S. Arun-Kumar2
1
Department of Applied Mathematics and Theoretical Physics
University of Cambridge, Wilberforce Road
Cambridge, CB3 0WA, United Kingdom
singh.pranav@gmail.com
2
Department of Computer Science and Engineering
Indian Institute of Technology Delhi
Hauz Khas, New Delhi 110 016,India
sak@cse.iitd.ernet.in
Abstract
The question of when two nondeterministic concurrent systems
are behaviourally related has occupied a large part of the litera-
ture on process algebra and has yielded a variety of equivalences
(and congruences) and preorders ( and precongruences) all based

  

Source: Arun-Kumar, S. - Department of Computer Science and Engineering, Indian Institute of Technology, Delhi

 

Collections: Computer Technologies and Information Sciences