A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Rewriting as a unified model of concurrency
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Constraint solving by narrowing in combined algebraic domains
Proceedings of the eleventh international conference on Logic programming
Combining symbolic constraint solvers on algebraic domains
Journal of Symbolic Computation
Translating TROLL light concepts to Maude
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
General logics and logical frameworks
What is a logical system?
A formal semantics for the ODP computational model
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
Modal-&mgr;-Maude: specification and properties of concurrent objects
Object orientation with parallelism and persistence
Timed rewriting logic with an application to object-based specification
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Computational models for open distributed systems
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Rule-based constraint programming
Fundamenta Informaticae - Special issue on foundations of constraint programming
Building constraint satisfaction problem solvers using rewrite rules and strategies
Fundamenta Informaticae - Special issue on foundations of constraint programming
Tile formats for located and mobile systems
Information and Computation - Special issue on EXPRESS 1997
Specification and proof in membership equational logic
Theoretical Computer Science - Trees in algebra and programming
Higher order unification via explicit substitutions
Information and Computation
Proof, language, and interaction
Fourth International Conference on Formal methods for open object-based distributed systems IV
Formally modeling UML and its evolution: a holistic approach
Fourth International Conference on Formal methods for open object-based distributed systems IV
Seamless formalizing the UML semantics through metamodels
Unified modeling language
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Reflection in conditional rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Specification of real-time and hybrid systems 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
Executable Tile Specifications for Process Calculi
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Tile-Based Coordination View of Asynchronous pi-Calculus
MFCS '97 Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science
Composable Semantic Models for Actor Theories
TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
Membership algebra as a logical framework for equational specification
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Mapping tile logic into rewriting logic
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Towards a Verification Logic for Rewriting Logic
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Algebraic Specification of Concurrency
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
An Object-Oriented Airport: Specification and Refinement in Maude
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
From Abstract Data Types to Logical Frameworks
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
CPO Models for Infinite Term Rewriting
AMAST '95 Proceedings of the 4th 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
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly
ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
A Logical Framework for Distributed Systems and Communication Protocols
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Parallel Programmming in Maude
Research Directions in High-Level Parallel Programming Languages
A Semantically Sound Actor Tranlsation
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Rewriting: An Effective Model of Concurrency
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Compiling Rewriting onto SIMD and MIMD/SIMD Maschines
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
A Compiler for Rewrite Programs in Associative-Commutative Theories
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Specification and Proof in Membership Equational Logic
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
An Algebraic Semantics of Reflective Objects
ISOTAS '96 Proceedings of the Second JSSST International Symposium on Object Technologies for Advanced Software
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
Rewriting Logic and Maude: Concepts and Applications
RTA '00 Proceedings of the 11th International Conference on Rewriting Techniques and Applications
Prototyping Completion with Constraints Using Computational Systems
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Relating Two Categorial Models of Term Rewriting
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
A Compiler for Nondeterministic Term Rewriting Systems
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language
RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications
TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems
RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications
Decidable Approximations of Sets of Descendants and Sets of Normal Forms
RTA '98 Proceedings of the 9th International Conference on Rewriting Techniques and Applications
Writing ODP Enterprise Specifications in Maude
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
An Object-Oriented Algebraic Steam-Boiler Control Specification
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
On the Use of Constraints in Automated Deduction
Selected Papers from Constraint Programming: Basics and Trends
Term Rewriting, French Spring School of Theoretical Computer Science, Advanced Course
ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Multiparadigm Logic Programming
Proceedings of the Third International Conference on Algebraic and Logic Programming
Axiomatizing Permutation Equivalence in the Lambda-Calculus
Proceedings of the Third International Conference on Algebraic and Logic Programming
Conditional Rewriting Logic: Deduction, Models and Concurrency
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Binary CSP Solving as an Inference Process
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Interpreting Abstract Interpretations in Membership Equational Logic
Interpreting Abstract Interpretations in Membership Equational Logic
Testing Linear Temporal Logic Formulae on Finite Execution Traces
Testing Linear Temporal Logic Formulae on Finite Execution Traces
Process and Term Tile Logic
Tile Bisimilarity Congruences for Open Terms and Term Graphs
Tile Bisimilarity Congruences for Open Terms and Term Graphs
Rewriting modulo a rewrite system
Rewriting modulo a rewrite system
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
Mathematical Structures in Computer Science
HOL-λσ: an intentional first-order expression of higher-order logic
Mathematical Structures in Computer Science
Journal of Functional Programming
Strategies of ELAN: meta-interpretation and partial evaluation
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Rewriting as a unified specification tool for logic and control: the ELAN language
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Compilation techniques for associative-commutative normalisation
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
A Generalization of Equational Proof Theory?
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
On the numerical verification of probabilistic rewriting systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Proceedings of the 2006 ACM symposium on Applied computing
ACM Transactions on Design Automation of Electronic Systems (TODAES)
ICWE '06 Proceedings of the 6th international conference on Web engineering
Semantic foundations for generalized rewrite theories
Theoretical Computer Science
Two case studies of semantics execution in Maude: CCS and LOTOS
Formal Methods in System Design
A comparison between two logical formalisms for rewriting
Theory and Practice of Logic Programming
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
Abstraction and Model Checking of Core Erlang Programs in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Termination of just/fair computations in term rewriting
Information and Computation
Algebraic Stuttering Simulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Prototyping A&A ReSpecT in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
The Temporal Logic of Rewriting: A Gentle Introduction
Concurrency, Graphs and Models
Term Equational Systems and Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
A rewriting logic approach to operational semantics
Information and Computation
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
Equational Abstractions for Reducing the State Space of Rewrite Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
The Existential Fragment of the One-Step Parallel Rewriting Theory
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
A Fully Abstract Semantics for Constructor Systems
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
A formalization of the SMEPP model in Maude
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services
Quantitative Pathway Logic for Computational Biology
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Teaching Formal Methods Based on Rewriting Logic and Maude
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Specification and Verification of Web Applications in Rewriting Logic
FM '09 Proceedings of the 2nd World Congress on Formal Methods
The Polymorphic Rewriting-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
μ-Calculus Model Checking in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Rewriting Semantics in Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
Equational Abstractions for Model Checking Erlang Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
A fold/unfold transformation framework for rewrite theories extended to CCT
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Coordination Models Based on a Formal Model of Distributed Object Reflection
Electronic Notes in Theoretical Computer Science (ENTCS)
Rewriting logic and probabilities
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A fast algebraic web verification service
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
On formal analysis of OO languages using rewriting logic: designing for performance
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
KOOL: an application of rewriting logic to language prototyping and analysis
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Compositional modelling of signalling pathways in timed concurrent constraint programming
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology
Towards formalizing web service composition in Maude's strategy language
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
Combining theorem proving and narrowing for rewriting-logic specifications
TAP'10 Proceedings of the 4th international conference on Tests and proofs
A rule-based approach to XML processing and web reasoning
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Twenty years of rewriting logic
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Formal modeling and verification of sensor network encryption protocol in the OTS/CafeOBJ method
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Backward trace slicing for rewriting logic theories
CADE'11 Proceedings of the 23rd international conference on Automated deduction
The microcosm principle and compositionality of GSOS-based component calculi
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
A unifying formal basis for the SENSORIA approach: a white paper
Rigorous software engineering for service-oriented systems
Automatic verification of a model checker by reflection
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Termination of fair computations in term rewriting
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Automatic validation of transformation rules for java verification against a rewriting semantics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
An introduction to maude and some of its applications
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Theoroidal maps as algebraic simulations
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Localized fairness: a rewriting semantics
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Proving positive almost-sure termination
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Confluence of shallow right-linear rewrite systems
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
An algebraic specification of generic OCL queries within the eclipse modeling framework
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
State space reduction of rewrite theories using invisible transitions
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Toward a rewriting logic framework for safe and distributed component installation
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
On the use of real-time maude for architecture description and verification: a case study
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Hierarchical verification in maude of Lf P software architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
Towards formalising use case maps in Maude strategy language: application to multi-agent systems
International Journal of Computer Applications in Technology
A rewriting logic approach to the formal specification and verification of web applications
Science of Computer Programming
A RT-Maude-based framework for component installation
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |