Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;A. Armstrong,2014
2. Armstrong, A., Gomes, V.B.F., Struth, G.: Kleene algebra with tests and demonic refinement algebras. Archive of Formal Proofs (2014)
3. Back, R.-J., Kurki-Suonio, R.: Distributed cooperation with action systems. ACM Trans. Program. Lang. Syst. 10(4), 513–554 (1988)
4. Back, R.-J., von Wright, J.: Encoding, decoding and data refinement. Formal Asp. Comput. 12(5), 313–349 (2000)
5. Lecture Notes in Computer Science;E. Cohen,2000