An approach to software system modelling and analysis

DOI10.1016/0096-0551(79)90009-2zbMath0408.68031OpenAlexW2070533845MaRDI QIDQ4195931

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)90009-2

zbMATH Keywords

ConcurrencyParallelismLarge-ScaleSoftware System AnalysisSoftware System Modelling

Mathematics Subject Classification ID

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

Related Items (7)

Unshuffling a square is NP-hard ⋮ Longest Common Subsequence with Gap Constraints ⋮ Subsequences in bounded ranges: matching and analysis problems ⋮ The power of synchronizing operations on strings ⋮ Unnamed Item ⋮ String shuffle: circuits and graphs ⋮ Extending regular expressions with iterated shuffle

This page was built for publication: An approach to software system modelling and analysis