Seeking concurrency in rule-based programming
ICSE '92 Proceedings of the 14th international conference on Software engineering
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Decompositional Approach to the Design of Parallel Programs
IEEE Transactions on Software Engineering
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Egocentric context-aware programming in ad hoc mobile environments
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Egocentric context-aware programming in ad hoc mobile environments
ACM SIGSOFT Software Engineering Notes
Dynamic Synchrony Among Atomic Actions
IEEE Transactions on Parallel and Distributed Systems
Formal Derivation of Rule-Based Programs
IEEE Transactions on Software Engineering
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Formal Specification and Design of Mobile Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
A Refinement Theory that Supports Reasoning About Knowledge and Time
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Continuous action systems as a model for hybrid systems
Nordic Journal of Computing
Visual Presentation of Software Specifications and Designs
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A principled exploration of coordination models
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Modeling adaptive behaviors in Context UNITY
Theoretical Computer Science
Resource discovery with evolving tuples
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
Mobile UNITY schemas for agent coordination
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Adaptive preference specifications for application sessions
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Event-b decomposition for parallel programs
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Enabling ubiquitous coordination using application sessions
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
| Hi-index | 0.00 |