The use of static constructs in a model process logic

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

45 Citations (Scopus)
Original languageEnglish
Title of host publicationLogic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings
EditorsAlbert R. Meyer, Michael A. Taitslin
Number of pages18
PublisherPhysica-Verlag
Publication date1 Jan 1989
Pages163-180
ISBN (Print)9783540512370
DOIs
Publication statusPublished - 1 Jan 1989
EventInternational Symposium on Logical Foundations of Computer Science, 1989 - PereslavI-Zalessky, Russian Federation
Duration: 3 Jul 19898 Jul 1989

Conference

ConferenceInternational Symposium on Logical Foundations of Computer Science, 1989
CountryRussian Federation
CityPereslavI-Zalessky
Period03/07/198908/07/1989
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume363 LNCS
ISSN0302-9743

Cite this

Hüttel, H., & Larsen, K. G. (1989). The use of static constructs in a model process logic. In A. R. Meyer, & M. A. Taitslin (Eds.), Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings (pp. 163-180). Physica-Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.. 363 LNCS https://doi.org/10.1007/3-540-51237-3_14