Asynchronous system synthesis

DOI10.1016/J.SCICO.2004.05.018zbMath1075.68618OpenAlexW1986917314MaRDI QIDQ1776590

Marina Waldén, Kaisa Sere, Juha Plosila

Publication date: 12 May 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.05.018

zbMATH Keywords

action systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Kaisa Sere: in memoriam ⋮ Derivation of concurrent programs by stepwise scheduling of Event-B models

This page was built for publication: Asynchronous system synthesis