Theoretical Computer Science · 1982 · 32 citations · 3 references
EngineeringComputer ScienceSystems EngineeringComplex SystemsDynamical SystemsSystems ModelingBehavioral ModelingComplex Systems ModelingModel FormulationState-space ModelingSystem ArchetypesSystem StructureAlgebraic LanguageAlgebraic SpecificationFinite-state ProcessesInvariantsState Models
3
Concurrent Program Schemes and their Interpretations
Antoni Mazurkiewicz · DAIMI Report Series · 1977 · 570 citations · Full text
Behaviours of concurrent systems
Józef Winkowski · Theoretical Computer Science · 1980 · 57 citations