Ferlez, J., Cleaveland, R., & Marcus, S. I. (2017). Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees. 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. Presented at the. https://doi.org/10.4204/EPTCS.255.3
Steven Marcus
First name
Steven
Middle name
I.
Last name
Marcus
Ramasubramanian, B., Cleaveland, R., & Marcus, S. I. (2016). A framework for opacity in linear systems. 2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July 6-8, 2016. Presented at the. https://doi.org/10.1109/ACC.2016.7526666
Ferlez, J., Cleaveland, R., & Marcus, S. I. (2018). Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees. 2018 IEEE Conference on Decision and Control (CDC). Presented at the. IEEE.