Formal derivation of a loadable asynchronous counter

Mark B. Josephs

doi:10.1007/bfb0054293

Formal derivation of a loadable asynchronous counter

Mark B. Josephs^*

^*Corresponding author for this work

London South Bank University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Mathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings
Editors	Johan Jeuring
Publisher	Springer Verlag
Pages	234-253
Number of pages	20
ISBN (Print)	3540645918, 9783540645917
DOIs	https://doi.org/10.1007/bfb0054293
Publication status	Published (VoR) - 1998
Event	4th International Conference on Mathematics of Program Construction, MPC 1998 - Marstrand, Sweden Duration: 15 Jun 1998 → 17 Jun 1998

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1422
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Conference on Mathematics of Program Construction, MPC 1998
Country/Territory	Sweden
City	Marstrand
Period	15/06/98 → 17/06/98

Access to Document

10.1007/bfb0054293

Cite this

Josephs, M. B. (1998). Formal derivation of a loadable asynchronous counter. In J. Jeuring (Ed.), Mathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings (pp. 234-253). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1422). Springer Verlag. https://doi.org/10.1007/bfb0054293

@inproceedings{451fcea36ad8404e957882eed86e65a2,

title = "Formal derivation of a loadable asynchronous counter",

author = "Josephs, {Mark B.}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 4th International Conference on Mathematics of Program Construction, MPC 1998 ; Conference date: 15-06-1998 Through 17-06-1998",

year = "1998",

doi = "10.1007/bfb0054293",

language = "English",

isbn = "3540645918",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "234--253",

editor = "Johan Jeuring",

booktitle = "Mathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings",

}

Josephs, MB 1998, Formal derivation of a loadable asynchronous counter. in J Jeuring (ed.), Mathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1422, Springer Verlag, pp. 234-253, 4th International Conference on Mathematics of Program Construction, MPC 1998, Marstrand, Sweden, 15/06/98. https://doi.org/10.1007/bfb0054293

Formal derivation of a loadable asynchronous counter. / Josephs, Mark B.
Mathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings. ed. / Johan Jeuring. Springer Verlag, 1998. p. 234-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1422).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal derivation of a loadable asynchronous counter

AU - Josephs, Mark B.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1998.

PY - 1998

Y1 - 1998

UR - http://www.scopus.com/inward/record.url?scp=84957545158&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84957545158&partnerID=8YFLogxK

U2 - 10.1007/bfb0054293

DO - 10.1007/bfb0054293

M3 - Conference contribution

AN - SCOPUS:84957545158

SN - 3540645918

SN - 9783540645917

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 234

EP - 253

BT - Mathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings

A2 - Jeuring, Johan

PB - Springer Verlag

T2 - 4th International Conference on Mathematics of Program Construction, MPC 1998

Y2 - 15 June 1998 through 17 June 1998

ER -

Josephs MB. Formal derivation of a loadable asynchronous counter. In Jeuring J, editor, Mathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings. Springer Verlag. 1998. p. 234-253. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0054293

Formal derivation of a loadable asynchronous counter

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this