Action Systems and Action Refinement in the Development of Parallel Systems, an Algebraic Approach

W.P.M. Janssen, Mannes Poel, Jakob Zwiers

Research output: Contribution to journal › Article › Professional

Keywords

@article{066b17e5826f42bbb6a58e9e73932113,

title = "Action Systems and Action Refinement in the Development of Parallel Systems, an Algebraic Approach",

keywords = "METIS-121671",

author = "W.P.M. Janssen and Mannes Poel and Jakob Zwiers",

year = "1993",

language = "Undefined",

pages = "--",

journal = "Memoranda informatica",

issn = "0924-3755",

publisher = "University of Twente",

number = "14",

}