An approach to software system behavior description

DOI10.1016/0096-0551(79)90008-0zbMath0408.68030OpenAlexW2029500305MaRDI QIDQ4195930

William E. Riddle

Publication date: 1979

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(79)90008-0

zbMATH Keywords

ConcurrencyParallelismFormal LanguagesLarge-ScaleSoftware System Behaviour

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99)

Related Items (4)

Shuffled languages -- representation and recognition ⋮ Regularity Conditions for Iterated Shuffle on Commutative Regular Languages ⋮ State complexity investigations on commutative languages -- the upward and downward closure, commutative aperiodic and commutative group languages ⋮ Regularity conditions for iterated shuffle on commutative regular languages

This page was built for publication: An approach to software system behavior description