Procedures and atomicity refinement

Author: Sere K.

Source: Information Processing Letters, Volume 60, Number 2, 28 October 1996 , pp. 67-74(8)

Publisher: Elsevier

Keywords: Program derivation; Distributed systems; Program specification

Language: English

Document Type: Research article

DOI: http://dx.doi.org/10.1016/S0020-0190(96)00142-1

Affiliations: 1: Department of Computer Science and Applied Mathematics, University of Kuopio, P.O. Box 1627, FIN-70211 Kuopio, Finland

Publication date: 1996-10-28

• In this: publication
• By this: publisher
• In this Subject: Computer Science ,  Library Science
• By this author: Sere K.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers