Vincent Schmitt

Publication Activity (10 Years)

Years Active: 1996-2007
Publications (10 Years): 0

Publications

José Luiz Fiadeiro, Vincent Schmitt
Structured Co-spans: An Algebra of Interaction Protocols. CALCO (2007)
Vincent Schmitt, Krzysztof Worytkiewicz
Bisimulations of enrichments CoRR (2006)
Vincent Schmitt
Enriched Categories and Quasi-uniform Spaces. Electron. Notes Theor. Comput. Sci. 73 (2004)
Vincent Schmitt
Stable Trace Automata vs. Full Trace Automata. Theor. Comput. Sci. 200 (1-2) (1998)
Vincent Schmitt
CR-Structures. Fundam. Informaticae 33 (1) (1998)
Vincent Schmitt
Flip-Flop Nets. STACS (1996)