Infori-nation systems as a tool for specification of concurrent systems.

Zbigniew Suraj

Browse the full ICRA paper archive.