scientific article; zbMATH DE number 1522998
From MaRDI portal
Publication:4511273
zbMATH Open0964.68089MaRDI QIDQ4511273FDOQ4511273
Authors: Mads Dam, Dilian Gurov 
Publication date: 30 October 2000
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3936485
- scientific article; zbMATH DE number 1231562
- Proving properties of dynamic process networks
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
Cited In (9)
- Compositional checking of satisfaction
- On process equivalence = equation solving in CCS
- Title not available (Why is that?)
- Planning proofs of equations in CCS
- Unique fixpoint induction for message-passing process calculi
- A logic for the specification and proof of regular controllable processes of CCS
- Proving correctness of labeled transition systems by semantic tableaux
- Title not available (Why is that?)
- Reduced models for efficient CCS verification
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 Q4511273)
