Galois Connections for Flow Algebras - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson. Galois Connections for Flow Algebras. In Roberto Bruni, Jürgen Dingel, editors, Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Volume 6722 of Lecture Notes in Computer Science, pages 138-152, Springer, 2011. [doi]

This author has not been identified. Look up 'Piotr Filipiuk' in GoogleThis author has not been identified. Look up 'Michal Terepeta' in GoogleThis author has not been identified. Look up 'Hanne Riis Nielson' in GoogleThis author has not been identified. Look up 'Flemming Nielson' in Google

runs on WebDSL