You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Newcastle University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Newcastle University

Return to search Previous output Next output

Output 90 of 100 in the submission

Article title

Step semantics of boolean nets

Type

D - Journal article

DOI

10.1007/s00236-012-0170-2

Title of journal

Acta Informatica

Article number

Volume number

Issue number

First page of article

ISSN of journal

1432-0525

Year of publication

2013

URL

http://dx.doi.org/10.1007/s00236-012-0170-2

Number of additional authors

Additional information

<10> The work reported in this article was undertaken as part of the EPSRC awards “GAELS: Globally Asynchronous Elastic Logic Synthesis” (EP/I038551) and "VERDAD: Verification-Driven Asynchronous Design (EP/G037809/1)". The article develops for the first time a generic parametric framework capturing the concurrency (step) semantics of Boolean Petri nets capturing concurrent systems - such as VLSI circuits - whose global states are composed of local binary states.

Interdisciplinary

Cross-referral requested

Research group

B - Concurrent Asynchronous Systems

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract