IEEE Transactions on Software Engineering - Special issue on software architecture
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
High level transition systems for communicating agents
Concurrent object-oriented programming and petri nets
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
The Chemical Reaction Model Recent Developments and Prospects
Software-Intensive Systems and New Computing Paradigms
Using Tuple Space to Coordinate Multiagent Activities
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
A process algebra to formalize the Lyee methodology
Knowledge-Based Systems
Implementing Lyee-Calculus in Java
Knowledge-Based Systems
Multiset rewriting: a semantic framework for concurrency with name binding
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Proceedings of the fifth international workshop on High-level parallel programming and applications
Hi-index | 0.00 |