Person:1321832

Available identifiers

zbMath Open collette.pierreMaRDI QIDQ1321832

List of research outcomes

Publication	Date of Publication	Type
Application of the composition principle to unity-like specifications	2022-11-02	Paper
Logical foundations for compositional verification and development of concurrent programs in UNITY	2022-08-16	Paper
A foundation for modular reasoning about safety and progress properties of state-based concurrent programs	1998-07-22	Paper
Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency	1995-11-16	Paper
Composition of assumption-commitment specifications in a UNITY style	1995-04-10	Paper
An explanatory presentation of composition rules for assumption- commitment specifications	1995-01-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pierre Collette