scientific article; zbMATH DE number 2102705

zbMATH Open1046.68598MaRDI QIDQ4817543FDOQ4817543

Ed Brinksma, R. Langerak

Publication date: 24 September 2004

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

Recommendations

• scientific article; zbMATH DE number 1497786
• McMillan’s Complete Prefix for Contextual Nets
• scientific article
• An algebra of concurrent non-deterministic processes
• scientific article

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• LOTOS

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 Q4817543)