The Collection of
Computer Science Bibliographies

ProCoS II Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:177Last update:November 6, 1997
Number of online publications:0Supported:no
Most recent reference:1997

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Author:
Jonathan Bowen <J . P . Bowen @ reading . ac . uk> (email mangled to prevent spamming)
Department of Computer Science
University of Reading
Whiteknights, PO Box 225
Reading
Berkshire RG6 6AY
UK
Keywords:
provably correct systems, provably correct hardware/software co-design, Concurrency, CSP, Decompilation, Design, Duration Calculus, Formal Methods Europe, Hardware compilation, HOL, Hybrid Systems, Interfaces, Languages, Models, Occam, Operational semantics, Programs, Provably correct systems, Reactive systems, Real-time, Refinement, Requirements, safemos project, Safety-critical systems, Semantics, Sequential Calculus, Specification, Standards, Temporal logic, Time, Transputer, VDM, Z notation, Z User Meeting
Procos 2 Archive

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(59), article(35), techreport(34), incollection(14), book(10), proceedings(8), phdthesis(6), unpublished(6), mastersthesis(3), misc(2)
Fields:
title(177), year(177), author(166), pages(100), publisher(86), volume(86), booktitle(84), month(76), editor(74), series(65), number(58), address(38), note(37), journal(35), institution(34), type(31), comment(23), url(13), school(9), chapter(8), isbn(4), issn(4), howpublished(2), organization(2), country(1), keywords(1), location(1), other(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!