Communicating sequential processes
Communicating sequential processes
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
The knowledge complexity of interactive proof systems
SIAM Journal on Computing
Elements of interaction: Turing award lecture
Communications of the ACM
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Interaction as a basis for empirical computer science
ACM Computing Surveys (CSUR)
Why interaction is more powerful than algorithms
Communications of the ACM
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
An agent-based approach for building complex software systems
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction to Process Algebra
Introduction to Process Algebra
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Computation beyond turing machines
Communications of the ACM - Digital rights management
Beyond the Turing Limit: Evolving Interactive Systems
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Intelligence Without Reason
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
A Manifesto for Agent Technology: Towards Next Generation Computing
Autonomous Agents and Multi-Agent Systems
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Turing machines, transition systems, and interaction
Information and Computation
Signs of a revolution in computer science and software engineering
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
The church-turing thesis: breaking the myth
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Default interactions for multi-agent simulations of complex organizations
Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
If a tree casts a shadow is it telling the time?
UC'06 Proceedings of the 5th international conference on Unconventional Computation
Autonomic nature-inspired eco-systems
Transactions on Computational Science XV
| Hi-index | 0.00 |