Author:
Fortino Giancarlo,Nigro Libero,Pupo Francesco
Reference12 articles.
1. Actors: a model for concurrent computation in distributed systems;Agha,1986
2. A layered approach to automating the verification of real-time systems;Gerber;IEEE Trans. on Software Engineering,1992
3. A unified high-level Petri net formalism for time-critical systems;Ghezzi;IEEE Trans. on Software Engineering,1991
4. Communicating Sequential Processes;Hoare,1985
5. Using real time constraints for modularisation;Kirk,1997