Underspecification for a simple process algebra of recursive processes

Author: Majster-Cederbaum M.E.

Source: Theoretical Computer Science, Volume 266, Number 1, 6 September 2001 , pp. 935-950(16)

Publisher: Elsevier

Keywords: Specification; Underspecification; Semantics; Refinement

Language: English

Document Type: Research article

DOI: http://dx.doi.org/10.1016/S0304-3975(00)00419-9

Affiliations: 1: Institut fur Informatik, Fak. fur Mathematik und Informatik, Universitat Mannheim, Lehrstuhl Prakt. Informatik II, D27, 27, 68131 , Mannheim, Germany

Publication date: 2001-09-06

• In this: publication
• By this: publisher
• In this Subject: Computer Science ,  Mathematics and Statistics
• By this author: Majster-Cederbaum M.E.

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