Media type: Journal; Conference Proceedings Title: Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts Event: Working Conference on Formal Description of Programming Concepts imprint: Amsterdam [u.a.]: North Holland Publ. Co., 1978-1987 Publication information: [1.]1977(1978); 2.1982(1983) - 3.1986(1987)[?] Language: Not determined Keywords: Nebenläufigkeit > Programmierung Formale Semantik Mathematische Logik Origination: Footnote: