DEBL: a knowledge-based language for specifying and debugging distributed programs
Communications of the ACM - Special issue: multiprocessing
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
DEBL: a knowledge-based language for specifying and debugging programs
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
L.0: a parallel executable temporal logic language
Conference proceedings on Formal methods in software development
The L.0 Language and Environment for Protocol Simulation and Prototyping
IEEE Transactions on Computers - Special issue on protocol engineering
WSC '94 Proceedings of the 26th conference on Winter simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
Executing specifications of distributed computations with Chronolog(MC)
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Distributed processes and location failures
Theoretical Computer Science
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Mexitl: Multimedia in Executable Interval Temporal Logic
Formal Methods in System Design
Interface Design for Core-Based Systems
IEEE Design & Test
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols
IEEE Transactions on Software Engineering
Declarative Representations of Multiagent Systems
IEEE Transactions on Knowledge and Data Engineering
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
Wrapping Real-Time Systems from Temporal Logic Specifications
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
An Automata-Theoretic Completeness Proof for Interval Temporal Logic
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Compositional Reasoning Using Interval Temporal Logic and Tempura
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Tableau Method for Interval Temporal Logic with Projection
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Tableau Calculus for a Temporal Logic with Temporal Connectives
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Specification of an Active Database System Application Using Dynamic Relation Nets
CL '00 Proceedings of the First International Conference on Computational Logic
A Behavioral Model for Co-design
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Induction in the timed interval calculus
Theoretical Computer Science
K-Mediator: Towards Evolving Information Systems
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Augmenting semantic web service descriptions with compositional specification
Proceedings of the 13th international conference on World Wide Web
A framed temporal logic programming language
Journal of Computer Science and Technology
Support software evolution with abstration rules and programming knowledge patterns
Focus on computational neurobiology
Agentification for Web Services
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A compositional framework for access control policies enforcement
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
Run-time analysis of time-critical systems
Journal of Systems Architecture: the EUROMICRO Journal
ASDL: a wide spectrum language for designing web services
Proceedings of the 15th international conference on World Wide Web
What is "next" in event processing?
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Framed temporal logic programming
Science of Computer Programming
Operational Semantics of Framed Temporal Logic Programs
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Comments on temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Temporal aspects of tasks in the user action notation
Human-Computer Interaction
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Sharpening the Incompleteness of the Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional Properties of Sequential Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
A verification system for interval-based specification languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
A new definitional specification language
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
Encoding temporal logics in executable Z: a case study for the ZETA system
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Logic-based knowledge representation
Artificial intelligence today
A timeband framework for modelling real-time systems
Real-Time Systems
Cybernetics and Systems Analysis
Categorial semantics of a solution to distributed dining philosophers problem
FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics
Temporal logic verification of lock-freedom
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Axiomatic semantics of projection temporal logic programs†
Mathematical Structures in Computer Science
Connection between logical and algebraic approaches to concurrent systems†
Mathematical Structures in Computer Science
A formal framework for compositional verification of organic computing systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
A semantic model for many-core parallel computing
COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
Formal verification of a lock-free stack with hazard pointers
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Semantics of framed temporal logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Analysis and run-time verification of dynamic security policies
DAMAS'05 Proceedings of the 2005 international conference on Defence Applications of Multi-Agent Systems
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
The recognition and interpretation of motion in language
CICLing'10 Proceedings of the 11th international conference on Computational Linguistics and Intelligent Text Processing
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
A concurrent temporal programming model with atomic blocks
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Time constraints with temporal logic programming
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
A cylinder computation model for many-core parallel computing
Theoretical Computer Science
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |