Fabio Gadducci

Theor. Comput. Sci., January, 2024

Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2024

Testing Quantum Processes.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Effect Semantics for Quantum Process Calculi.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Left-Linear Rewriting in Adhesive Categories.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

Specification and modelling of computing systems through graphs and graph transformation.

[BibT_eX]

[DOI]

Timo Kehrer

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

From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness.

[BibT_eX]

[DOI]

Appl. Categorical Struct., October, 2023

Specification and verification of a linear-time logic for graph transformation.

[BibT_eX]

[DOI]

Andrea Laretto

CoRR, 2023

Weakly affine monads.

[BibT_eX]

[DOI]

CoRR, 2023

Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation.

[BibT_eX]

[DOI]

Andrea Laretto

Proceedings of the Graph Transformation - 16th International Conference, 2023

A Spatial Logic with Time and Quantifiers.

[BibT_eX]

[DOI]

Vincenzo Ciancia

Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023

Weakly Markov Categories and Weakly Affine Monads.

[BibT_eX]

[DOI]

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

String diagram rewrite theory III: Confluence with and without Frobenius.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., August, 2022

String diagram rewrite theory II: Rewriting with symmetric monoidal structure.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., April, 2022

Categorical specification and implementation of Replicated Data Types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

Special issue on Theoretical Topics in Graph Transformation.

[BibT_eX]

[DOI]

Timo Kehrer

Theor. Comput. Sci., 2022

Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020).

[BibT_eX]

[DOI]

Timo Kehrer

Sci. Comput. Program., 2022

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure.

[BibT_eX]

[DOI]

J. ACM, 2022

Distributivity and residuation for lexicographic orders.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2022

Completeness and expressiveness for gs-monoidal categories.

[BibT_eX]

[DOI]

CoRR, 2022

A new criterion for M, N-adhesivity, with an application to hierarchical graphs.

[BibT_eX]

[DOI]

Davide Castelnovo

CoRR, 2022

On Binding in the Spatial Logics for Closure Spaces.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Graph Rewriting Components.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 15th International Conference, 2022

A new criterion for M, N-adhesivity, with an application to hierarchical graphs.

[BibT_eX]

[DOI]

Davide Castelnovo

Proceedings of the Foundations of Software Science and Computation Structures, 2022

Soft Concurrent Constraint Programming with Local Variables.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2022

A Presheaf Semantics for Quantified Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021

Soft constraint automata with memory.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2021

Concurrent semantics for fusions: Weak prime domains and connected event structures.

[BibT_eX]

[DOI]

Inf. Comput., 2021

Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Towards a Spatial Model Checker on GPU.

[BibT_eX]

[DOI]

Vincenzo Ciancia

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

Towards Model Checking Video Streams Using VoxLogicA on GPUs.

[BibT_eX]

[DOI]

Proceedings of the From Data to Models and Back, 2021

2020

A spatial model checker in GPU (extended version).

[BibT_eX]

[DOI]

Vincenzo Ciancia

CoRR, 2020

Pisa, 1954-1961: Assessing Key Stages of a Seminal Italian Project.

[BibT_eX]

[DOI]

IEEE Ann. Hist. Comput., 2020

Implementation Correctness for Replicated Data Types, Categorically.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

Retracing and assessing the CEP project.

[BibT_eX]

[DOI]

CoRR, 2019

Petri nets are dioids: a new algebraic foundation for non-deterministic net theory.

[BibT_eX]

[DOI]

Acta Informatica, 2019

A Categorical Account of Replicated Data Types.

[BibT_eX]

[DOI]

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

Data-Driven Choreographies à la Klaim.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Polyadic Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

On the semantics and implementation of replicated data types.

[BibT_eX]

[DOI]

Hernán C. Melgratti

Christian Roldán

Sci. Comput. Program., 2018

Event Structures for Petri nets with Persistence.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

Rewriting with Frobenius.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Soft Constraint Automata with Memory.

[BibT_eX]

[DOI]

Kasper Dokter

Proceedings of the It's All About Coordination, 2018

2017

Observational and behavioural equivalences for soft concurrent constraint programming.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Residuation for bipolar preferences in soft constraints.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2017

Domains and event structures for fusions.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Confluence of Graph Rewriting with Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2017

A Denotational View of Replicated Data Types.

[BibT_eX]

[DOI]

Hernán C. Melgratti

Christian Roldán

Proceedings of the Coordination Models and Languages, 2017

2016

Rewriting modulo symmetric monoidal structure.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.

[BibT_eX]

[DOI]

Martin Wirsing

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Modelling and analyzing adaptive self-assembly strategies with Maude.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Modular encoding of synchronous and asynchronous interactions using open Petri nets.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Concurrency cannot be observed, asynchronously.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

Verification of Evolving Graph Structures (Dagstuhl Seminar 15451).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2015

A Labelled Semantics for Soft Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2015

A White Box Perspective on Behavioural Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

Asynchronous Traces and Open Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

Awareness and Control in Adaptable Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

A General Theory of Barbs, Contexts, and Labels.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

RPO semantics for mobile ambients.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2014

A Virtual Experience on the Very First Italian Computer.

[BibT_eX]

[DOI]

Stefano Paci

ACM Journal on Computing and Cultural Heritage, 2014

Encoding Synchronous Interactions Using Labelled Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2014

2013

Preface.

[BibT_eX]

[DOI]

Leonardo Mariani

J. Vis. Lang. Comput., 2013

Adaptation is a Game.

[BibT_eX]

[DOI]

Adv. Math. Commun., 2013

Soft Constraints for Lexicographic Orders.

[BibT_eX]

[DOI]

Matthias M. Hölzl

Martin Wirsing

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

Validating reconfigurations of reo circuits in an e-Banking scenario.

[BibT_eX]

[DOI]

Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

Using Old Computers for Teaching Computer Science.

[BibT_eX]

[DOI]

Proceedings of the Making the History of Computing Relevant, 2013

2012

A Presheaf Environment for the Explicit Fusion Calculus.

[BibT_eX]

[DOI]

J. Autom. Reason., 2012

Counterpart Semantics for a Second-Order μ-Calculus.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2012

Local arc consistency for non-invertible semirings, with an application to multi-objective optimization.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2012

Barbed Semantics for Open Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Adaptable Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

A Modular LTS for Open Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2012

Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 6th International Conference, 2012

A Conceptual Framework for Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

A decentralised graphical implementation of mobile ambients.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

Adhesivity Is Not Enough: Local Church-Rosser Revisited.

[BibT_eX]

[DOI]

Pawel Sobocinski

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Towards a General Theory of Barbs, Contexts and Labels.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

Hierarchical Models for Service-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

From Petri Nets to Graph Transformation Systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

An Algebra of Hierarchical Graphs and its Application to Structural Encoding.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2010

An Institution for Graph Transformation.

[BibT_eX]

[DOI]

Leila Ribeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

An Algebra of Hierarchical Graphs.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Extending Soft Arc Consistency Algorithms to Non-invertible Semirings.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2010

Counterpart Semantics for a Second-Order µ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 5th International Conference, 2010

Saturated LTSs for Adhesive Rewriting Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 5th International Conference, 2010

On GS-Monoidal Theories for Graphs with Nesting.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

Concurrency Can't Be Observed, Asynchronously.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Synthesising CCS bisimulation using graph rewriting.

[BibT_eX]

[DOI]

Barbara König

Inf. Comput., 2009

A Net-based Approach to Web Services Publication and Replaceability.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

A Note on an Old-Fashioned Algebra for (Disconnected) Graphs.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

On Barbs and Labels in Reactive Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

A Graph Syntax for Processes and Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Reactive Systems, Barbed Semantics, and the Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Encoding Asynchronous Interactions Using Open Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

On the Use of Behavioural Equivalences for Web Services' Development.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding).

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

Preface.

[BibT_eX]

[DOI]

Alessandro Aldini

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

A Term-Graph Syntax for Algebras over Multisets.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

A Soft Approach to Multi-objective Optimization.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

A Decentralized Implementation of Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, 4th International Conference, 2008

Parallel and Sequential Independence for Borrowed Contexts.

[BibT_eX]

[DOI]

Tobias Heindel

Proceedings of the Graph Transformations, 4th International Conference, 2008

Ugo Montanari and Friends.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

A Category of Explicit Fusions.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Petri Nets Are Dioids.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Graph rewriting for the pi-calculus.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2007

A Behavioural Congruence for Web Services.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Graphical Encoding of a Spatial Logic for the pi -Calculus.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Processes as formal power series: A coinductive approach to denotational semantics.

[BibT_eX]

[DOI]

Michele Boreale

Theor. Comput. Sci., 2006

About permutation algebras, (pre)sheaves and named sets.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2006

A Calculus for Team Automata.

[BibT_eX]

[DOI]

Dirk Janssens

Proceedings of the Brazilian Symposium on Formal Methods, 2006

Preface.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Modelling Calculi with Name Mobility using Graphs with Equivalences.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006

Towards a Notion of Transaction in Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Process Bisimulation Via a Graphical Encoding.

[BibT_eX]

[DOI]

Barbara König

Proceedings of the Graph Transformations, Third International Conference, 2006

Graph Transactions as Processes.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Enhancing Constraints Manipulation in Semiring-Based Formalisms.

[BibT_eX]

[DOI]

Stefano Bistarelli

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Concurrent Rewriting for Graphs with Equivalences.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Graphical Verification of a Spatial Logic for the pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005

Deriving Weak Bisimulation Congruences from Reduction Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.

[BibT_eX]

[DOI]

Proceedings of the Processes, 2005

Graph Processes with Fusions: Concurrency by Colimits, Again.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

On Term Graphs as an Adhesive Category.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

Specifying and Verifying UML Activity Diagrams Via Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

2003

Some Characterization Results for Permutation Algebras.

[BibT_eX]

[DOI]

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Denotational Testing Semantics in Coinductive Form.

[BibT_eX]

[DOI]

Michele Boreale

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

Causality and Replication in Concurrent Processes.

[BibT_eX]

[DOI]

Pierpaolo Degano

Corrado Priami

Proceedings of the Perspectives of Systems Informatics, 2003

Term Graph Rewriting for the pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Comparing logics for rewriting: rewriting logic, action calculi and tile logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

A causal semantics for CCS via rewriting logic.

[BibT_eX]

[DOI]

Pierpaolo Degano

Corrado Priami

Theor. Comput. Sci., 2002

A functorial semantics for multi-algebras and partial algebras, with applications to syntax.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Normal forms for algebras of connection.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002.

[BibT_eX]

[DOI]

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

Inequational Deduction as Term Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Term Graph Rewriting, 2002

GS.Lambda Theories: A Syntax for Higher-Order Graphs.

[BibT_eX]

[DOI]

Matteo Coccia

Proceedings of the Category Theory and Computer Science, 2002

AGILE: Software Architecture for Mobility.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001

A Concurrent Graph Semantics for Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Comparing cospan-spans and tiles via a Hoare-style process calculus.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Categorical rewriting of term-like structures.

[BibT_eX]

[DOI]

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Some algebraic laws for spans.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Relational Methods in Software, 2001

2000

The tile model.

[BibT_eX]

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.

[BibT_eX]

[DOI]

Mercè Llabrés

Proceedings of the Conference on Category Theory and Computer Science, 1999

Rewriting on cyclic structures: Equivalence between the operational and the categorical description.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1999

An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 1999

1998

CCS semantics via proved transition systems and rewriting logic.

[BibT_eX]

[DOI]

Georgia Carabetta

Pierpaolo Degano

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

Functorial Semantics for Multi-algebras.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Normal Forms for Partitions and Relations.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

A Fully Abstract Model for Graph-Interpreted Temporal Logic.

[BibT_eX]

[DOI]

Manuel Koch

Proceedings of the Theory and Application of Graph Transformations, 1998

Axioms for Contextual Net Processes.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Rational Term Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structure, 1998

1997

An inductive view of graph transformation.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

A 2-Categorical Presentation of Term Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

Tiles, rewriting rules and CCS.

[BibT_eX]

[DOI]

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

1995

Relating Two Categorial Models of Term Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Modal mu-Types for Processes

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1995

CPO Models for Infinite Term Rewriting.

[BibT_eX]

[DOI]