scientific article
From MaRDI portal
Publication:2767175
zbMath0983.68521MaRDI QIDQ2767175
Nadia Busi, Gianluigi Zavattaro, Roberto Gorrieri
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Expired data collection in shared dataspaces. ⋮ Timed soft concurrent constraint programs: An interleaved and a parallel approach ⋮ Unnamed Item ⋮ A process algebraic view of shared dataspace coordination ⋮ Unnamed Item
This page was built for publication:
