scientific article; zbMATH DE number 1231561

zbMath0912.68194MaRDI QIDQ4222877

Monica Nesi

Publication date: 20 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#nesi

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

zbMATH Keywords

Hennessy-Milner logicvalue-Passing CCS

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items

Mechanised modal model theory, Two case studies of semantics execution in Maude: CCS and LOTOS

Uses Software

• ML
• HOL

Cites Work

• Symbolic bisimulations
• Modal logics for mobile processes
• Algebraic laws for nondeterminism and concurrency
• Unnamed Item
• Unnamed Item