Action refinement in process algebrasde Luca AcetoMateriasParallel processing (Electronic computers)Programming languages (Electronic computers)SemanticsAlgebra, data processingEdiciones (1)Action refinement in process algebras (1992)Cambridge University Press · inglésMás obras de Luca AcetoRReactive SystemsReactive SystemsReactive systemsAutomata, Languages and Programming
FFoundations of Software Science and Computational StructuresFoundations of Software Science and Computational Structures