A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
A Maude specification of an object-oriented model for telecommunication networks
Theoretical Computer Science - Rewriting logic and its applications
Actor theories in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Equational rules for rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
Relaxed models for rewriting logic
Theoretical Computer Science
Using Reflection to Specify Transaction Sequences in Rewriting Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
The Extensibility of Maude's Module Algebra
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Semantic Models for Distributed Object Reflection
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
A Partial Order Event Model for Concurrent Objects
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
On a Uniform Representation of Transformation Systems
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Generic Facilities in Object-Oriented ASMs
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Axiomatization of the Coherence Property for Categories of Symmetries
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Concurrent Object-Based Model and its Use for Coordinating Java Components
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Institution-independent ultraproducts
Fundamenta Informaticae
Interpolation in Grothendieck institutions
Theoretical Computer Science
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming
Herbrand theorems in arbitrary institutions
Information Processing Letters
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
On the numerical verification of probabilistic rewriting systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Behavioural specification for hierarchical object composition
Theoretical Computer Science - Formal methods for components and objects
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
Formal Methods in System Design
A New Synchronisation Model for Multi-Level Object Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Higher-Order and Symbolic Computation
Science of Computer Programming
Algebraic Stuttering Simulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Reduction Semantics and Formal Analysis of Orc Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebraic Framework for Modeling of Mobile Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Patterns for Maude Metalanguage Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Teaching Formal Methods Based on Rewriting Logic and Maude
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Proving VLRL Action Properties with the Maude Model Checker
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Rewriting Semantics in Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Twenty years of rewriting logic
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
A Maude coherence checker tool for conditional order-sorted rewrite theories
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Localized fairness: a rewriting semantics
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Specifying DIMA multi-agents models using maude
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Computer Languages
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Theoretical Computer Science
A New Synchronisation Model for Multi-Level Object Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Institution-independent Ultraproducts
Fundamenta Informaticae
Taming distributed system complexity through formal patterns
Science of Computer Programming
Hi-index | 0.00 |