Persistent and Nonviolent Steps and the Design of GALS Systems

DOI10.3233/FI-2015-1173zbMath1335.68168OpenAlexW1512386609WikidataQ104379725 ScholiaQ104379725MaRDI QIDQ2805425

Łukasz Mikulski, Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, A. V. Yakovlev, Danil Sokolov

Publication date: 11 May 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2015-1173

zbMATH Keywords

persistencePetri netstep semanticsstep transition systemGALS systemnonviolenceasynchronous and synchronous circuit

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

An extension of the taxonomy of persistent and nonviolent steps ⋮ Asynchrony and persistence in reaction systems

This page was built for publication: Persistent and Nonviolent Steps and the Design of GALS Systems