PlusCal (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "PlusCal" in Japanese language version.

Last modified: 09:05:58, 3 October 2018 (UTC)

Ref.Un. Ref.Website

Global rank Japanese rank

263^rd place

228^th place

2^nd place

3^rd place

doi.org (Global: 2^nd place; Japanese: 3^rd place)

Lamport, Leslie (28 February 2015). Principles and Specifications of Concurrent Systems. p. 7 2015年5月10日閲覧. ""PlusCal is more convenient than TLA⁺ for describing the flow of control in an algorithm. This generally makes it better for specifying sequential algorithms and shared-memory multiprocess algorithms.""
Lamport, Leslie (2 January 2009). “The PlusCal Algorithm Language”. Lecture Notes in Computer Science (Springer Berlin Heidelberg) 5684 (Theoretical Aspects of Computing - ICTAC 2009): 36–60. doi:10.1007/978-3-642-03466-4_2 2015年5月10日閲覧。.