scientific article
From MaRDI portal
Publication:3814780
zbMath0663.68022MaRDI QIDQ3814780
Michael Merritt, Alan Fekete, William E. Weihl, Nancy A. Lynch
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Information storage and retrieval of data (68P20)
Related Items (8)
Highly concurrent logically synchronous multicast ⋮ Formalizing process algebraic verifications in the calculus of constructions ⋮ Correctness proof of a database replication protocol under the perspective of the I/O automaton model ⋮ On confluence in the π-calculus ⋮ I/O automata in Isabelle/HOL ⋮ Distributed event algebras ⋮ Specifying modules to satisfy interfaces: A state transition system approach ⋮ Distributed Implementation of Systems with Multiparty Interactions and Priorities
This page was built for publication:
