Mihai Calancea

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Multiprocessor Architecture

State Transitions

Production System

Top Venues

Publications

Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Brandon M. Moore, Karl Palmskog, Traian-Florin Serbanuta, Michael Stay
VLSM: Validating Labelled State Transition and Message Production Systems. CoRR (2022)