Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Article title
Synthesis of nets with step firing policies
Type
D - Journal article
Title of journal
Fundamenta Informaticae
Article number
-
Volume number
94
Issue number
3-4
First page of article
275
ISSN of journal
1875-8681
Year of publication
2009
Number of additional authors
3
Additional information
<10> This article forms part of a larger body of work (partly represented by 2 of the 4 papers in this submission) that led to the EPSRC award “GAELS: Globally Asynchronous Elastic Logic Synthesis” (EP/I038551). The article develops for the first time theories and algorithms for automated construction of concurrent systems in which the execution of actions is controlled by means of firing policies. This is an invited journal version of a conference paper which received the Best Paper Prize at ICATPN'08.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Concurrent Asynchronous Systems
Citation count
7
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
