Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-Calculi

Author(s):  
Martin Berger
Keyword(s):  
2015 ◽  
Vol 69 (8) ◽  
pp. 799-808
Author(s):  
Makoto Iwasaki
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document