1.

国際会議録
国際会議録
1. An axiomatic semantics of concurrent programming languages
Lamport L.
出版情報: Logics and models of concurrent systems.  pp.77-122,  1985.  Berlin.  Springer-Verlag
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 13
2.

国際会議録
国際会議録
2. Specifying Concurrent Systems with TLA+
Lamport L.
出版情報: Calculational system design.  pp.183-247,  1999.  Amsterdam.  IOS Press
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 173
3.

国際会議録
国際会議録
3. A Formal Basis for the Specification of Concurrent Systems
Lamport L.
出版情報: Distributed operating systems : theory and practice.  pp.3-46,  1987.  Berlin.  Springer-Verlag
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 28