Keywords

ConcurrencyComputer scienceNet (polyhedron)Predicate (mathematical logic)First-order logicSystems theoryTheoretical computer scienceAlgorithmArtificial intelligenceMathematicsProgramming language

Affiliated Institutions

Related Publications

Publication Info

Year
1980
Type
book-chapter
Pages
21-163
Citations
174
Access
Closed

External Links

Social Impact

Altmetric

Social media, news, blog, policy document mentions

Citation Metrics

174
OpenAlex

Cite This

Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan (1980). Elements of general net theory. Lecture notes in computer science , 21-163. https://doi.org/10.1007/3-540-10001-6_22

Identifiers

DOI
10.1007/3-540-10001-6_22