( en | de | ru )

 

Disambiguierung von "Nicola, Rocco De"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Distributed Systems via Sequential Emulation.

, , und . ACM Trans. Softw. Eng. Methodol., 31 (3): 37:1-37:41 (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nicola De Cono

Anton Rocco

Rocco Pöhlandt

Rocco Hüneke

Goranka Rocco

 

Weitere Publikationen von Autoren mit dem selben Namen

An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems., , , und . Computer Networks and ISDN Systems, 25 (7): 761-778 (1993)A Completeness Theorem fro Nondeterministic Kleene Algebras., und . MFCS, Volume 841 von Lecture Notes in Computer Science, Seite 536-545. Springer, (1994)CCS is an (Augmented) Contact Free C/E System., , und . Mathematical Models for the Semantics of Parallelism, Volume 280 von Lecture Notes in Computer Science, Seite 144-165. Springer, (1986)Observation Trees., , und . NAPAW, Seite 103-118. Springer, (1992)An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems., , , und . CAV, Volume 575 von Lecture Notes in Computer Science, Seite 37-47. Springer, (1991)A formal approach to the engineering of domain-specific distributed systems., , , und . J. Log. Algebraic Methods Program., (2020)On the expressive power of KLAIM-based calculi., , und . Theor. Comput. Sci., 356 (3): 387-421 (2006)Model checking mobile stochastic logic., , , , und . Theor. Comput. Sci., 382 (1): 42-70 (2007)The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications., , und . Int. J. Softw. Tools Technol. Transf., 22 (4): 437-455 (2020)Verification of Distributed Systems via Sequential Emulation., , und . ACM Trans. Softw. Eng. Methodol., 31 (3): 37:1-37:41 (2022)