Semantic interoperation of open systems
ACM SIGSOFT Software Engineering Notes
Actor theories in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Actors and Logical Analysis of Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |