Home > VOLUME 11, ISSUE 2 (2015)
 articles  
1. Mutually Testing Processes  PDF | PostScript | Abstract, RST
 
  Giovanni Bernardi and Matthew Hennessy

2. On Reachability for Unidirectional Channel Systems Extended with Regular Tests  PDF | PostScript | Abstract, RST
 
  Jancar Petr, Prateek Karandikar and Philippe Schnoebelen








Logical Methods in Computer Science. ISSN: 1860-5974


Open Access Research