scientific article; zbMATH DE number 1754626

zbMath0986.68044MaRDI QIDQ4535053

Luc Boasson, Ahmed Bouajjani, Parosh Aziz Abdulla

Publication date: 12 June 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760639

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Grammars and rewriting systems (68Q42)

Related Items

An Approach to Computing Downward Closures ⋮ Cost Automata, Safe Schemes, and Downward Closures ⋮ Value-passing CCS with noisy channels ⋮ Unnamed Item ⋮ \(\pi\)-calculus with noisy channels