scientific article; zbMATH DE number 2043521

MaRDI QIDQ4447223zbMATH OpenFDO

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

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)

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

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.
• scientific article; zbMATH DE number 2090711 (Why is no real title available?)
• Confluence in probabilistic rewriting
• Probabilistic Choice, Reversibility, Loops, and Miracles
• Strategic port graph rewriting: an interactive modelling framework
• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• 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)