Local invariance

DOI10.1007/S001650200026zbMATH Open1029.68019OpenAlexW4234079717MaRDI QIDQ1402461

Michael Shields, David H. Pitt

Publication date: 27 August 2003

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650200026

zbMATH Keywords

AbstractionProtocol verificationLocal invariance

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12)

Related Items (10)

A local form of the Phragmén‐lindelöf indicator ⋮ Local invertibility ⋮ Local–global property for G-invariant terms ⋮ Local exchangeability ⋮ Parametricity and local variables ⋮ Local and global proportionality ⋮ Local stabilizer ⋮ Unnamed Item ⋮ Local varying-alpha theories ⋮ Locally uniform Opial conditions.

This page was built for publication: Local invariance