Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
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 system F of variable types, fifteen years later
Theoretical Computer Science
Algebraic theory of processes
Communication and concurrency
Process algebra
A domain equation for bisimulation
Information and Computation
Handbook of theoretical computer science (vol. B)
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
Computer science as empirical inquiry: symbols and search
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Principles of Programming Languages
Principles of Programming Languages
Pi-Calculus Semantics of Object-Oriented Programming Languages
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
The Typed lambda-Calculus with First-Class Processes
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
A functional theory of local names
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Agent language NUML and its reduction implementation model based on HO&pgr;
ACM SIGPLAN Notices
Report of a workshop on future directions in programming languages and compilers
ACM SIGPLAN Notices
Why interaction is more powerful than algorithms
Communications of the ACM
Systems, interactions, and macrotheory
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 2
Interaction-oriented programming
First international workshop, AOSE 2000 on Agent-oriented software engineering
An actor algebra for specifying distributed systems: The hurried philosophers case study
Concurrent object-oriented programming and petri nets
Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
Metalogical Frameworks II: Developing a Reflected Decision Procedure
Journal of Automated Reasoning
Theoretical Computer Science
Computation beyond turing machines
Communications of the ACM - Digital rights management
On Models for Time-Sensitive Interactive Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
On the Power of Interactive Computing
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Logic for Computer Science: The Engineering Challenge
Informatics - 10 Years Back. 10 Years Ahead.
Towards an ASM Thesis for Unconventional Algorithms
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
DCW '02 Revised Papers from the 4th International Workshop on Distributed Communities on the Web
Asset mapping: developing inter-enterprise solutions from legacy components
Systems engineering for business process change
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
On the computational complexity of bisimulation, redux
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Modeling Indirect Interaction in Open Computational Systems
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Coordination in Pervasive Computing Environments
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Turing machines, transition systems, and interaction
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
On the computational complexity of bisimulation, redux
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Evaluation of the capability of interaction
ACM SIGGROUP Bulletin - Special issue on community-based learning: explorations into theoretical groundings, empirical findings and computer support
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
An Active-Architecture Approach to COTS Integration
IEEE Software
Propositional computability logic I
ACM Transactions on Computational Logic (TOCL)
Communications of the ACM - Services science
Architectural issues in network-centric computing
ACM SIGSOFT Software Engineering Notes
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Theoretical Computer Science
A parametric linguistics based approach for cross-lingual web querying
Data & Knowledge Engineering
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Approaching simple and powerful service-computing1
International Journal of Parallel, Emergent and Distributed Systems - Best Papers from the GCC 2006 Conference
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Human-Computer Interaction
A perspective on service orchestration
Science of Computer Programming
The next big thing: position statements
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Agent-based computing: promise and perils
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Adaptation and Evolution in Dynamic Persistent Environments
Electronic Notes in Theoretical Computer Science (ENTCS)
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Electronic Notes in Theoretical Computer Science (ENTCS)
Turing machines, transition systems, and interaction
Information and Computation
On the computational complexity of bisimulation, redux
Information and Computation
On the expressiveness of interaction
Theoretical Computer Science
Mobility in computer science and in membrane systems
CMC'10 Proceedings of the 11th international conference on Membrane computing
Information systems in modeling interactive computations on granules
Theoretical Computer Science
Formal modeling
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
How can nature help us compute?
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Principles of high quality documentation for provenance: a philosophical discussion
IPAW'06 Proceedings of the 2006 international conference on Provenance and Annotation of Data
Indirect interaction in environments for multi-agent systems
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
A model for dynamic state-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Interaction and collective intelligence on the internet
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Interactive information systems: Toward perception based computing
Theoretical Computer Science
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Hi-index | 48.24 |