An approach to software system behavior description

DOI10.1016/0096-0551(79)90008-0MaRDI QIDQ4195930zbMATH OpenOpenAlexFDO

Authors 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

ConcurrencyFormal LanguagesLarge-ScaleParallelismSoftware System Behaviour

Mathematics Subject Classification ID

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

Cited in

(5)

• 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
• Shuffled languages -- representation and recognition
• Regularity Conditions for Iterated Shuffle on Commutative Regular Languages
• The n-ary initial literal and literal shuffle

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4195930)