Words, Languages, Automata
, Paul Gastin
: Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids.
Aldo de Luca
: A Survey of Some Quantitative Approaches to the Notion of Information.
: A Sight-seeing Tour of the Computational Landscape of Graph Transformation.
: Local Action Systems and DPO Graph Transformation.
: An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation.