Georgiana Caltais

Available identifiers

Publication	Date of Publication	Type
DyNetKAT: an algebra of dynamic networks	2024-01-23	Paper
Explaining safety failures in NetKAT	2021-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4965820	2021-03-10	Paper
A coalgebraic view on decorated traces	2017-04-03	Paper
Final semantics for decorated traces	2016-07-08	Paper
Expression-Based Aliasing for OO–languages	2016-01-06	Paper
Patterns for Maude metalanguage applications	2015-03-19	Paper
Brzozowski's and up-to algorithms for must testing	2015-01-12	Paper
CIRC: A Behavioral Verification Tool Based on Circular Coinduction	2012-06-01	Paper
PREG axiomatizer -- a ground bisimilarity checker for GSOS with predicates	2011-09-02	Paper
A Decision Procedure for Bisimilarity of Generalized Regular Expressions	2011-05-12	Paper

This page was built for person: Georgiana Caltais