Concurrent Logic and Automata Combined: A Semantics for Components

Autor: Bowles, J.K.F., Moschoyiannis, S.
Zdroj: In Electronic Notes in Theoretical Computer Science 21 June 2007 175(2):135-151
Databáze: ScienceDirect