Formal methods [FM]
Collection
Collection
Published by CWI
-
Coalgebraic semantics of heavy-weighted automata Tech Report
M. Fortin (Marie), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
September 2014
-
Composing Constraint Automata, State-by-State (Technical Report) Tech Report
S.-S.T.Q. Jongmans (Sung), T.W.J. Kappé (Tobias) and F. Arbab (Farhad)
January 2015
-
January 2015
-
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? (Technical Report) Tech Report
January 2015
-
Formations of monoids, congruences, and formal languages Tech Report
A. Ballester-Bolinches, E. Cosme-Llopez, R. Esteban-Romero and J.J.M.M. Rutten (Jan)
January 2015
-
Formations of monoids, congruences, and formal languages Tech Report
A. Ballester-Bolinches, E. Cosme-Llopez, R. Esteban-Romero and J.J.M.M. Rutten (Jan)
June 2015
-
Newton series, coinductively Tech Report
H. Basold (Henning), H.H. Hansen (Helle), J.-É. Pin (Jean-Éric) and J.J.M.M. Rutten (Jan)
June 2015
-
Relating BIP and Reo Tech Report
K.P.C. Dokter (Kasper), S.-S.T.Q. Jongmans (Sung), F. Arbab (Farhad) and S. Bliudze (Simon)
July 2015