scientific article; zbMATH DE number 2043521

zbMATH Open1038.68063MaRDI QIDQ4447223FDOQ4447223

Authors: Mathieu Hoyrup, Olivier Bournez 

Publication date: 16 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060061.htm

Title of this publication is not available (Why is that?)

Recommendations

• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 2090711
• Twenty years of rewriting logic
• Rewriting logic as a semantic framework for concurrency: a progress report
• Conditional rewriting logic: Deduction, models and concurrency

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (11)

• Twenty years of rewriting logic
• On the hardness of analyzing probabilistic programs
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• Probabilistic real-time rewrite theories and their expressive power
• A rewriting based model for probabilistic distributed object systems.
• Title not available (Why is that?)
• Confluence in probabilistic rewriting
• Probabilistic Choice, Reversibility, Loops, and Miracles
• Strategic port graph rewriting: an interactive modelling framework
• Title not available (Why is that?)
• The vectorial \(\lambda\)-calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4447223)