págs. 549-580
Extending modal transition systems with structured labels
Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba
págs. 581-617
A quantum double construction in Rel
Masahito Hasegawa
págs. 618-650
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation
Loïc Paulevé, Morgan Magnin, Olivier Roux
págs. 651-685
Extending relational algebra with similarities
Melita Hajdinjak, Gavin Bierman
págs. 686-718
A duality between exceptions and states
Jean-Guillaume Dumas, Dominique Duval , Laurent Fousse, Jean-Claude Reynaud
págs. 719-722
© 2008-2024 Fundación Dialnet · Todos los derechos reservados