scientific article; zbMATH DE number 7281355
From MaRDI portal
Publication:5137884
zbMath1448.68118MaRDI QIDQ5137884
Amir Pnuli, Camilla Rump, Bengt Jonsson
Publication date: 3 December 2020
Full work available at URL: https://link.springer.com/article/10.1007/s004460050062
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationtemporal logicrefinementspecificationsequential consistencytransductiondelayed simulation
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Related Items (3)
Abstraction for concurrent objects ⋮ Universal extensions to simulate specifications ⋮ Specification and verification of concurrent programs through refinements
This page was built for publication:
