Narciso Martí-Oliet

According to our database, Narciso Martí-Oliet authored at least 117 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Compositional Verification in Rewriting Logic.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Theory Pract. Log. Program., January, 2024

2023

The Maude strategy language.

Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo

J. Log. Algebraic Methods Program., August, 2023

QMaude: Quantitative Specification and Verification in Rewriting Logic.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the Formal Methods - 25th International Symposium, 2023

Strategies in Conditional Narrowing Modulo SMT Plus Axioms.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

Generalization and completeness of stochastic local search algorithms.

Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez

Swarm Evol. Comput., 2022

Metalevel transformation of strategies.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

J. Log. Algebraic Methods Program., 2022

Simulating and model checking membrane systems using strategies in Maude.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

J. Log. Algebraic Methods Program., 2022

Model checking strategy-controlled systems in rewriting logic.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Autom. Softw. Eng., 2022

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Strategies, model checking and branching-time properties in Maude.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

J. Log. Algebraic Methods Program., 2021

B Maude: A formal executable environment for Abstract Machine Notation Descriptions.

Christiano Braga, Narciso Martí-Oliet

CoRR, 2021

2020

Compositional Specification in Rewriting Logic.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Theory Pract. Log. Program., 2020

Programming and symbolic computation in Maude.

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott

J. Log. Algebraic Methods Program., 2020

2019

Model Checking Strategy-Controlled Rewriting Systems (System Description).

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

J. Autom. Reason., 2018

Parameterized Programming for Compositional System Specification.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Parameterized Strategies Specification in Maude.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

2017

Conditional narrowing modulo SMT and axioms.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016

Preface to SCP special issue with extended selected papers from SBMF 2014.

Christiano Braga, Narciso Martí-Oliet

Sci. Comput. Program., 2016

Egalitarian State-Transition Systems.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.

Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Synchronous Products of Rewrite Systems.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012).

Francisco Durán, Narciso Martí-Oliet

Sci. Comput. Program., 2015

José Meseguer: Scientist and Friend Extraordinaire.

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott

Proceedings of the Logic, Rewriting, and Concurrency, 2015

Two Decades of Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Conditional Narrowing Modulo in Rewriting Logic and Maude.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Equational Abstractions in Rewriting Logic and Maude.

Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Model Checking TLR* Guarantee Formulas on Infinite Systems.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Specification, Algebra, and Software, 2014

2012

Declarative debugging of rewriting logic specifications.

Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero

J. Log. Algebraic Methods Program., 2012

Rewriting logic bibliography by topic: 1990-2011.

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

J. Log. Algebraic Methods Program., 2012

Preface.

Narciso Martí-Oliet, Peter Csaba Ölveczky

J. Log. Algebraic Methods Program., 2012

2011

Basic completion strategies as another application of the Maude strategy language

Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, 2011

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees.

Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Parameterized Metareasoning in Membership Equational Logic.

Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Algebraic simulations.

José Meseguer, Miguel Palomino, Narciso Martí-Oliet

J. Log. Algebraic Methods Program., 2010

Enhancing the Debugging of Maude Specifications.

Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Declarative Debugging of Missing Answers for Maude.

Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

An Introduction to Maude and Some of Its Applications.

Narciso Martí-Oliet

Proceedings of the Practical Aspects of Declarative Languages, 2010

A Complete Declarative Debugger for Maude.

Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Unification and Narrowing in Maude 2.4.

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

Equational abstractions.

José Meseguer, Miguel Palomino, Narciso Martí-Oliet

Theor. Comput. Sci., 2008

A Rewriting Semantics for Maude Strategies.

Narciso Martí-Oliet, José Meseguer, Alberto Verdejo

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Declarative Debugger for Maude Functional Modules.

Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Declarative Debugging of Membership Equational Logic Specifications.

Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo

Proceedings of the Concurrency, 2008

A Declarative Debugger for Maude.

Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Editorial.

Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott

High. Order Symb. Comput., 2007

Strategies and simulations in a semantic framework.

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

J. Algorithms, 2007

Algebraic Stuttering Simulations.

Narciso Martí-Oliet, José Meseguer, Miguel Palomino

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Mobile Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo

Proceedings of the All About Maude, 2007

Specifying Parameterized Data Structures in Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo

Proceedings of the All About Maude, 2007

Playing with Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo

Proceedings of the All About Maude, 2007

Some Tools.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo

Proceedings of the All About Maude, 2007

Core Maude Grammar.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Complete List of Maude Commands.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Debugging and Troubleshooting.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

A Sampler of Application Areas.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Object-Oriented Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Full Maude: Extending Core Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

User Interfaces and Metalanguage Applications.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Metaprogramming Applications.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Reflection, Metalevel Computation, and Strategies.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

LTL Model Checking.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Model Checking Invariants Through Search.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Object-Based Programming.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Predefined Data Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Module Operations.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

System Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

A Hierarchy of Data Types: From Trees to Sets.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Functional Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Syntax and Basic Parsing.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Using Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Introduction.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

2006

Executable structural operational semantics in Maude.

Alberto Verdejo, Narciso Martí-Oliet

J. Log. Algebraic Methods Program., 2006

Deduction, Strategies, and Rewriting.

Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo

Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006

2005

A Verification Logic for Rewriting Logic.

Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum

J. Log. Comput., 2005

Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.

Alberto Verdejo, Narciso Martí-Oliet

Formal Methods Syst. Des., 2005

Preface.

Horatiu Cirstea, Narciso Martí-Oliet

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

Transforming Information in RDF to Rewriting Logic.

Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

A Categorical Approach to Simulations.

Miguel Palomino, José Meseguer, Narciso Martí-Oliet

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Playing with Maude.

Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo

Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

A Tutorial on Specifying Data Structures in Maude.

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Towards a Strategy Language for Maude.

Narciso Martí-Oliet, José Meseguer, Alberto Verdejo

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Preface.

Narciso Martí-Oliet

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Theoroidal Maps as Algebraic Simulations.

Narciso Martí-Oliet, José Meseguer, Miguel Palomino

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Formalizing and Proving Semantic Relations between Specifications by Reflection.

Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.

Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet

Formal Aspects Comput., 2003

The Maude 2.0 System.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

A Maude specification of an object-oriented model for telecommunication networks.

Isabel Pita, Narciso Martí-Oliet

Theor. Comput. Sci., 2002

Preface.

Narciso Martí-Oliet, José Meseguer

Theor. Comput. Sci., 2002

Rewriting logic: roadmap and bibliography.

Narciso Martí-Oliet, José Meseguer

Theor. Comput. Sci., 2002

Maude: specification and programming in rewriting logic.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Theor. Comput. Sci., 2002

Review of the paper 'Concurrent Systems Analysis Using ECATNets' by F. Belala.

Narciso Martí-Oliet

Log. J. IGPL, 2002

Implementing CCS in Maude 2.

Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.

Prasanna Thati, Koushik Sen, Narciso Martí-Oliet

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

2001

Proving modal and temporal properties of rewriting logic programs.

Isabel Pita, Narciso Martí-Oliet

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

The Leader Election Protocol of IEEE 1394 in Maude.

Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Polytypic Programming in Maude.

Manuel Clavel, Francisco Durán, Narciso Martí-Oliet

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Towards Maude 2.0.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Implementing CCS in Maude.

Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Formal Techniques for Distributed System Development, 2000

Using Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the Fundamental Approaches to Software Engineering, 2000

Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.

Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari

Proceedings of the CONCUR 2000, 2000

1999

Towards a Verification Logic for Rewriting Logic.

José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

The Maude System.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

1998

Maude as a metalanguage.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Metalevel computation in Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Using Reflection to Specify Transaction Sequences in Rewriting Logic.

Isabel Pita, Narciso Martí-Oliet

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997

Rewriting logic and its applications.

Narciso Martí-Oliet

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Inclusions and Subtypes II: Higher-Order Case.

Narciso Martí-Oliet, José Meseguer

J. Log. Comput., 1996

Inclusions and Subtypes I: First-Order Case.

Narciso Martí-Oliet, José Meseguer

J. Log. Comput., 1996

A Maude specification of an object-oriented database model for telecommunication networks.

Isabel Pita, Narciso Martí-Oliet

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Rewriting logic as a logical and semantic framework.

Narciso Martí-Oliet, José Meseguer

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

1994

Compiling Rewriting onto SIMD and MIMD/SIMD Maschines.

Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic.

Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

Proceedings of the Specification of Parallel Algorithms, 1994

From Abstract Data Types to Logical Frameworks.

José Meseguer, Narciso Martí-Oliet

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1991

From Petri Nets to Linear Logic.

Narciso Martí-Oliet, José Meseguer

Math. Struct. Comput. Sci., 1991

From Petri Nets to Linear Logic through Categories: A Survey.

Narciso Martí-Oliet, José Meseguer

Int. J. Found. Comput. Sci., 1991