scientific article; zbMATH DE number 1832230
From MaRDI portal
Publication:4778708
zbMath0997.68514MaRDI QIDQ4778708
Jakob Rehof, Sriram K. Rajamani
Publication date: 19 November 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2126/21260375
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (7)
Type checking a multithreaded functional language with session types ⋮ An algebra of behavioural types ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ Conversation protocols: a formalism for specification and verification of reactive electronic services ⋮ Abstract interpretation of mobile systems ⋮ A compositional behavioral modeling framework for embedded system design and conformance checking ⋮ Subtyping for session types in the pi calculus
This page was built for publication:
