Concurrent Logic and Automata Combined: A Semantics for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Component Behaviour with Concurrent Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating Snapshots of a Component Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
A Set-Theoretic Framework for Component Composition
Fundamenta Informaticae
Hi-index | 0.00 |