scientific article; zbMATH DE number 1830911

zbMath0997.68597MaRDI QIDQ4778616

Pablo de la Fuente, Carlos E. Cuesta, Manuel Barrio-Solórzano, M. Encarnación Beato

Publication date: 18 November 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2127/21270017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Leveraging access mode declarations in a model for memory consistency in heterogeneous systems

This page was built for publication: