scientific article; zbMATH DE number 1301605
From MaRDI portal
Publication:4246799
zbMATH Open0926.68133MaRDI QIDQ4246799FDOQ4246799
Author name not available (Why is that?)
Publication date: 8 November 1999
Title of this publication is not available (Why is that?)
Cited In (1)
Recommendations
- Reasoning about effects of concurrent actions π π
- Representing actions: Laws, observations and hypotheses π π
- Reasoning about nondeterministic and concurrent actions: A process algebra approach π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
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 Q4246799)