Abstract | ||
---|---|---|
We have seen that concurrency and decision are dual concepts in the same sense as logical and and logical or are dual. Furthermore, the temporal connective first-then may exhibit properties of and or of or according to its use in the context of action ( plans, tasks, accomplishment) or in the context of states-of-affairs ( assertions, restrictions, observance). It should have become obvious that these structural properties of fundamental concepts of systems organization are important enough not to be omitted by restricting oneself to purely sequential mathematical models which do not properly exhibit concurrency phenomena. |
Year | DOI | Venue |
---|---|---|
1975 | 10.1007/3-540-07389-2_201 | MFCS |
Keywords | Field | DocType |
mathematical model,regular expression | Discrete mathematics,Combinatorics,Regular expression,Concurrency,Computer science,Mathematical model | Conference |
Citations | PageRank | References |
4 | 0.63 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hartmann J. Genrich | 1 | 339 | 162.18 |
Schloss Birlinghoven | 2 | 8 | 2.83 |