|
СТ |
Rewriting as a Unified Model of Concurrency |
1989 |
Meseguer J. |
|
|
|
|
21.06.1995 |
|
П |
From Petri Nets to Linear Logic |
1989 |
Marti-Oliet N., Meseguer J. |
|
|
SRI Intern. |
|
20.06.1995 |
|
П |
Petri Nets Are Monoids |
1989 |
Meseguer J., Montanari U. |
|
|
SRI Intern. |
|
20.06.1995 |
|
П |
Temporal Structures |
1989 |
Casley R., Crew R. F., Meseguer J., Pratt V. |
|
|
Stanford Univ. |
|
11.05.1995 |
|
П |
Conditional Rewriting Logic as a Unified Model of Concurrency |
1991 |
Meseguer J. |
|
|
SRI Intern. |
|
11.05.1995 |
|
СТ |
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, expetions and partial operations |
1992 |
Goguen J. A., Meseguer J. |
|
|
|
Theoretical Computer Science |
26.12.1992 |
|
СТ |
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability |
1992 |
Moss L., Meseguer J., Goguen J. |
|
|
|
Theoretical Computer Science |
30.07.1992 |
|
СТ |
On the Semantics of Petri Nets |
1992 |
Meseguer J., Montanari U., Sassone V. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
A Logical Semantics for Object-Oriented Databases |
1993 |
Meseguer J., Qian X. |
|
|
|
SIGMOD Record |
10.09.1993 |
|
СТ |
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming |
1993 |
Meseguer J. |
|
|
|
Lecture Notes in Computer Science |
15.09.1993 |
|
СТ |
May I Borrow Your Logic? |
1993 |
Cerioli M., Meseguer J. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
|
СТ |
Compiling Rewriting onto SIMD and MIMD/SIMD Machines |
1994 |
Lincoln P., Marti-Oliet N., Meseguer J., Ricciulli L. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
|
СТ |
On the Model of Computation of Place/Transition Petri Nets |
1994 |
Meseguer J., Montanari U., Sassone V. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
The Rewrite Rule Machine Node Architecture and Its Performance |
1994 |
Lincoln P., Meseguer J., Ricciulli L. |
|
|
|
Lecture Notes in Computer Science |
22.11.1994 |
|
СТ |
From Abstract Data Types to Logical Framework |
1995 |
Meseguer J., Marti-Oliet N. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
СТ |
Axiomatizing the Algebra of Net Computations and Processes |
1996 |
Degano P., Meseguer J., Montanari U. |
|
|
|
Acta Informatica |
23.11.1996 |
|
СТ |
Representation Theorems for Petri Nets |
1997 |
Meseguer J., Montanari U., Sassone V. |
|
|
|
Lecture Notes in Computer Science |
28.11.1997 |
|
СТ |
Specification and Proof in Membership Equational Logic |
1997 |
Bouhoula A., Jouannaud J. -P., Meseguer J. |
|
|
|
Lecture Notes in Computer Science |
16.05.1997 |
|
СТ |
A Comparison of Petri Net Semantics under the Collective Token Philosophy |
1998 |
Bruni R., Meseguer J., Montanari U., Sassone V. |
|
|
|
Lecture Notes in Computer Science |
18.12.1998 |
|
СТ |
Mapping Tile Logic into Rewriting Logic |
1998 |
Meseguer J., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
07.05.1998 |
|
СТ |
Maude as a Formal Meta-tool |
1999 |
Clavel M., Duran F., Eker S., Meseguer J., Stehr M. -O. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Executable Tile Specifications for Process Calculi |
1999 |
Bruni R., Meseguer J., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
06.04.1999 |
|
СТ |
Towards a Verification Logic for Rewriting Logic |
2000 |
Fiadeiro J. L., Maibaum T., Marti-Oliet N., Meseguer J., Pita I. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
|
СТ |
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic |
2000 |
De O., Haeusler E. H., Meseguer J., Mosses P. D. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
|
П |
Software Specification and Verification in Rewriting Logic: Lecture 1 |
2002 |
Meseguer J. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
СТ |
A Total Approach to Partial Algebraic Specification |
2002 |
Meseguer J., Rosu G. |
|
|
|
Lecture Notes in Computer Science |
03.08.2002 |
|
СТ |
Semantic Models for Distributed Object Reflection |
2002 |
Meseguer J., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
|
СТ |
Mapping Modular SOS to Rewriting Logic |
2003 |
De O., Haeusler E. H., Meseguer J., Mosses P. D. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
The Maude LTL Model Checker and Its Implementation |
2003 |
Eker S., Meseguer J., Sridharanarayanan A. |
|
|
|
Lecture Notes in Computer Science |
29.05.2003 |
|
СТ |
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework |
2004 |
Stehr M. -O., Meseguer J. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
|
СТ |
Specification and Analysis of Real-Time Systems Using Real-Time Maude |
2004 |
Olveczky P. C., Meseguer J. |
|
|
|
Lecture Notes in Computer Science |
16.04.2004 |
|
СТ |
A Rewriting Logic Sampler |
2005 |
Meseguer J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.11.2005 |
|
М |
All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic |
2007 |
Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Talcott C. |
Lecture Notes in Computer Science |
|
|
|
30.10.2007 |
