Formal Methods at the Crossroads. From Panacea to Foundational Support
From MaRDI portal
Publication:5900554
DOI10.1007/b11934zbMath1274.68076OpenAlexW2490478666MaRDI QIDQ5900554
Publication date: 30 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11934
Related Items
Undecidable equivalences for basic parallel processes, Name-passing calculi: from fusions to preorders and types, Session types revisited, Comparing type systems for deadlock freedom, Minimal session types for the \(\pi\)-calculus, Separating Sessions Smoothly, Type theory based semantic verification for service composition in cloud computing environments, Unnamed Item, A simple library implementation of binary sessions, Context-Free Session Type Inference, Types for complexity of parallel computation in pi-calculus, A WSDL-based type system for asynchronous WS-BPEL processes, Deadlock analysis of unbounded process networks, A Coq Library for Verification of Concurrent Programs, Prioritise the best variation, \( \pi\) with leftovers: a mechanisation in Agda