Publications

Export 1 results:
[ Author(Desc)] Title Type Year
Filters: Author is James Ferlez  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees, Ferlez, James, Cleaveland Rance, and Marcus Steven I. , Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017., (2017)  (254.08 KB)