2015/01/01 by Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson · 16 citations
Computer Science · #Computer science #Concurrency #Control flow #Data flow diagram #Database #Deadlock #Distributed computing #Distributed systems and fault tolerance #Information flow #Parallel Computing and Optimization Techniques #Process calculus #Programming language #Protocol (science) #Security and Verification in Computing #Semantics (computer science) #Theoretical computer science
paper · open access · doi:10.1007/978-3-319-23165-5_20
published in Lecture notes in computer science, 427-450 (Springer Science+Business Media)
crossref issued 2015/01/01 · crossref published 2015/01/01 · crossref published-print 2015/01/01 · openalex publication_date 2015/01/01 · crossref created 2015/08/26 · crossref published-online 2015/08/27 · crossref deposited 2023/01/24 · crossref indexed 2025/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04