1978/01/01 by Nissim Francez, C. A. R. Hoare, Willem P. de Roever · 1 citation
Computer Science · #Computer science #Concurrency #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Operational semantics #Programming language #Semantics (computer science) #Theoretical computer science
paper · doi:10.1007/3-540-08921-7_67
crossref issued 1978/01/01 · crossref published 1978/01/01 · crossref published-print 1978/01/01 · openalex publication_date 1978/01/01 · crossref published-online 2005/05/24 · crossref created 2012/02/25 · crossref deposited 2020/01/08 · crossref indexed 2025/03/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01