Author:
Aceto Luca,Goriac Eugen-Ioan,Ingolfsdottir Anna
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference26 articles.
1. Finite equational bases in process algebra: results and open questions;Aceto,2005
2. Reo: a channel-based coordination model for component composition;Arbab;Math. Struct. Comput. Sci.,2004
3. Process Algebra: Equational Theories of Communicating Processes;Baeten,2010
4. Embedding untimed into timed process algebra: the case for explicit termination;Baeten;Math. Struct. Comput. Sci.,2003
5. Rigorous component-based system design using the BIP framework;Basu;IEEE Softw.,2011