Automata, Power Series, and Coinduction: taking input derivatives seriously (Extended Abstract) (1999)

View PDF

Download Links

by J. J. M. M. Rutten
Citations:7 - 1 self

Active Bibliography

Report SEN-R9901 – J. J. M. M. Rutten - 1999
325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
728 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier - 1992
888 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
3 A bialgebraic review of regular expressions, deterministic automata and languages – Bart Jacobs, Bart Jacobs - 2005
311 The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves – R.J. van Glabbeek - 1993
295 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
41 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003