Ugo Montanari and Software Verification

DOI10.1007/978-3-540-68679-8_38zbMath1143.68451OpenAlexW1566990520MaRDI QIDQ3507392

Gian-Luigi Ferrari

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_38

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)

Cites Work

• A new approach to abstract syntax with variable binding
• About permutation algebras, (pre)sheaves and named sets
• A calculus of mobile processes. I
• A calculus for cryptographic protocols: The spi calculus
• Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
• Nominal logic, a first order theory of names and binding
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• A Name Abstraction Functor for Named Sets
• Algebra and Coalgebra in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ugo Montanari and Software Verification