Publication:4808751
From MaRDI portal
zbMath1045.68577MaRDI QIDQ4808751
Claude Kirchner, Olivier Bournez
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780252.htm
Related Items
Strategic port graph rewriting: an interactive modelling framework, Unnamed Item, Unnamed Item, QMaude: quantitative specification and verification in rewriting logic, Confluence and convergence modulo equivalence in probabilistically terminating reduction systems, Twenty years of rewriting logic, On randomised strategies in the \(\lambda \)-calculus, Confluence in probabilistic rewriting, Confluence Results for a Quantum Lambda Calculus with Measurements, Probabilistic Termination by Monadic Affine Sized Typing
Uses Software