http://newcastle.rkbexplorer.com/id/people/unknown/7e2868be
family-name: Devillers
full-name: R Devillers
given-name: R
type: Person

http://www.aktors.org/ontology/date#1979
has-pretty-name: 1979
year-of: 1979
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/291
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/fcf18609
has-date: http://www.aktors.org/ontology/date#2006
has-title: Trust in Technology: a Socio-Technical Perspective
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/1554a841
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/d91a1a08
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/1107fac0
published-by: Springer
has-volume: 36
has-page-numbers: 217-221
has-isbn-number: 1-4020-4257-4
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/104
has-isbn-number: 0-080-35933-7
has-date: http://www.aktors.org/ontology/date#1990
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/e3ca2610
has-page-numbers: 181-186
has-title: Systems and Control Encyclopedia: Advances in Systems, Control and Information Engineering
published-by: Pergamon Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/17
has-isbn-number: 0-521-58511-2
has-author: person-12
has-date: http://www.aktors.org/ontology/date#1998
has-title: Probabilistic Modelling
published-by: Cambridge University Press, London
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/fd2df28b
family-name: Sanders
full-name: J W Sanders
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/50317e7f
family-name: Rasmussen
full-name: S Rasmussen
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/63f629b4
family-name: Williams
full-name: N Williams
given-name: N
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/261
has-isbn-number: 1-4020-0208-4
has-date: http://www.aktors.org/ontology/date#2002
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ef7022ba
has-edited-by: person-383
has-title: Spatial Language: Cognitive and Computational Perspectives
published-by: Kluwer Academic Publishers
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/e18c9a82
family-name: Gero
full-name: J S Gero
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/176
has-isbn-number: 3-540-76186-1
has-date: http://www.aktors.org/ontology/date#1998
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/2865ee44
has-page-numbers: 1-30
has-title: Proof in VDM: Case Studies
published-by: Springer-Verlag, London
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/67d1fffb
family-name: Cilia
full-name: M Cilia
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/fa4695bf
family-name: Turski
full-name: W Turski
given-name: W
type: Person

http://www.aktors.org/ontology/date#1980
has-pretty-name: 1980
year-of: 1980
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/59
has-isbn-number: 3-540-54398-8
has-date: http://www.aktors.org/ontology/date#1991
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b10d0a7d
has-page-numbers: 205-226
has-title: Advances in Petri Nets 1991
has-volume: 524
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/201
has-isbn-number: 0-85539-680-6
has-date: http://www.aktors.org/ontology/date#1980
has-page-numbers: 117-133
has-title: Life-Cycle Management
has-volume: 7
published-by: Infotech Information Ltd., Maidenhead
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/116
has-isbn-number: 1-85032-186-8
has-date: http://www.aktors.org/ontology/date#1996
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/8004237a
has-page-numbers: 63-82
has-title: Programming Language Choice: Practice and Experience
published-by: International Thomson Computer Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/29
has-isbn-number: n/a
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/49c46dc2
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/f59637cf
has-author: person-4
has-date: http://www.aktors.org/ontology/date#1994
has-title: Software 2000: A View of the Future
published-by: Commission of the European Communities, Brussels
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/90
has-isbn-number: 0-444-88625-7
has-date: http://www.aktors.org/ontology/date#1990
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/d60de666
has-page-numbers: 63-79
has-title: Real-Time Systems: Theory and Applications
published-by: North-Holland
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/d60de666
family-name: Zedan
full-name: H Zedan
given-name: H
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/0472e11c
family-name: Aylett
full-name: R Aylett
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/020156ab
family-name: Jones
full-name: K D Jones
given-name: K
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/b7fc5ad5
family-name: Hull
full-name: R Hull
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/6c14bee3
family-name: Ralston
full-name: A Ralston
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/bede283c
family-name: Kidd
full-name: P T Kidd
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/0877c600
family-name: Lavagno
full-name: L (eds ) Lavagno
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/273
has-isbn-number: 3-540-24843-9
has-date: http://www.aktors.org/ontology/date#2005
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/9fbfaa44
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/df8f00f9
has-edited-by: person-21
has-title: Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications
has-volume: 3390
published-by: Springer Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/60
has-isbn-number: 3-540-55610-9
has-date: http://www.aktors.org/ontology/date#1992
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b10d0a7d
has-page-numbers: 251-266
has-title: Advances in Petri Nets 1992
has-volume: 609
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/188
has-isbn-number: 0-471-94829-2
has-date: http://www.aktors.org/ontology/date#1994
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/8d12283f
has-title: Probability, Statistics and Optimization: A Tribute to Peter Whittle
published-by: Wiley
type: Book-Reference

http://www.aktors.org/ontology/date#1992
has-pretty-name: 1992
year-of: 1992
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/30
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/764e7f95
published-by: Springer-Verlag, Brussels
has-page-numbers: 87-101
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0024774d
has-edited-by: person-4
has-date: http://www.aktors.org/ontology/date#1995
has-abstract: This paper reviews the development of error recovery structures that support general fault tolerance, and describes a new object-oriented scheme for error recovery in concurrent systems that generalizes existing schemes based on either conversations or transactions. This new scheme, which is based on what we term a Coordinated Atomic Action, is intended to facilitate the provision of means of tolerating hardware and software faults, and faults that have affected the environment of the computer system - and to do so for programs that involve cooperating concurrent processes, and the use of shared resources.
has-page-numbers: 27-40
has-isbn-number: 3-540-59334-9
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/51c10a1d
has-title: Predictably Dependable Computing Systems

http://newcastle.rkbexplorer.com/id/publications/books/213
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/d2e4c483
has-isbn-number: 0-201-67471-8
type: Book-Reference
has-date: http://www.aktors.org/ontology/date#2000
has-author: person-105
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/6d616eb7
published-by: Addison-Wesley Publishing Co.
has-title: Modelling and Analysis of Security Protocols
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/f8617ccd
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/99a180a2

http://newcastle.rkbexplorer.com/id/people/unknown/743c1f17
family-name: Gorski
full-name: J Gorski
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/128
has-isbn-number: 0-88405-321-0
has-date: http://www.aktors.org/ontology/date#1976
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/6c14bee3
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/6d859cfb
has-page-numbers: 532-535
has-title: Encyclopaedia of Computer Science
published-by: Petrocelli/Charter Publishers, New York
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/08b44090
family-name: Knudsen
full-name: J L Knudsen
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/04e81ec8
family-name: Guo
full-name: M Guo
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/382423df
family-name: Leonardi
full-name: S Leonardi
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/c213c028
family-name: Orlowska
full-name: M E Orlowska
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/f84a8598
family-name: Fisher
full-name: B Fisher
given-name: B
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/255
has-date: http://www.aktors.org/ontology/date#2004
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/50621d54
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/fdc59f91
has-page-numbers: 139-152
has-title: Requirements Engineering for Sociotechnical Systems
published-by: Idea Group
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/f8dc2474
family-name: Barnetson
full-name: P Barnetson
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/42
has-isbn-number: 90-5199-025-1
has-date: http://www.aktors.org/ontology/date#1990
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ca79bbe4
has-edited-by: person-8
has-page-numbers: 103-112
has-title: Applications of Transputers 1
published-by: IOS Press, Amsterdam
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/26caac7e
family-name: Ratledge
full-name: C Ratledge
given-name: C
type: Person

http://www.aktors.org/ontology/date#1974
has-pretty-name: 1974
year-of: 1974
type: Calendar-Date

http://www.aktors.org/ontology/date#2004
has-pretty-name: 2004
year-of: 2004
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/bd0c60e3
family-name: Hey
full-name: A J G Hey
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/225
has-isbn-number: 0-12-677530-3
has-date: http://www.aktors.org/ontology/date#2002
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/263470fe
has-page-numbers: 321-388
has-title: Molecular Medical Microbiology
has-volume: 1
published-by: Academic Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/12
has-isbn-number: 0-13-830423-8
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/ce7c05e1
has-date: http://www.aktors.org/ontology/date#1992
has-title: Solving Linear and Non-Linear Equations
published-by: Ellis Horwood, Chichester
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/94d82d3f
family-name: Mukherjee
full-name: P Mukherjee
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/297
has-title: Advanced Topics in Exception Handling Techniques
has-isbn-number: 3-540-37443-4
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/8f53bd6a
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/08b44090
has-edited-by: person-21
has-date: http://www.aktors.org/ontology/date#2006
has-page-numbers: vii-viii
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c1502689
published-by: Springer
type: Book-Reference
has-volume: 4119

http://newcastle.rkbexplorer.com/id/people/unknown/f03b3efd
family-name: Passaris
full-name: E K S Passaris
given-name: E
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/141
has-isbn-number: 3-540-54987-0
has-date: http://www.aktors.org/ontology/date#1991
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/3b12994f
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/65c04580
has-page-numbers: 72-76
has-title: Operating Systems of the 90s and Beyond
has-volume: 563
published-by: Springer-Verlag, Berlin
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/54
has-isbn-number: 3-540-76073-3
has-date: http://www.aktors.org/ontology/date#1997
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b100a664
has-edited-by: person-142
has-title: Life Cycle Management for Dependability
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/337b36f0
family-name: Shaw
full-name: R C F Shaw
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/237
has-date: http://www.aktors.org/ontology/date#1994
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/50317e7f
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/671fb06d
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c4c40790
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/cf5085e3
has-title: Farmers' Decision Making - A Descriptive Approach
published-by: European Association of Agricultural Economists (EAAE)
type: Book-Reference

http://www.aktors.org/ontology/date#1986
has-pretty-name: 1986
year-of: 1986
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/111
has-isbn-number: 3-211-82077-9
has-author: person-10
has-author: person-29
has-date: http://www.aktors.org/ontology/date#1990
has-title: Fault Tolerance: Principles and Practice (Second Revised Edition)
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/24
has-isbn-number: 3-540-60125-2
has-date: http://www.aktors.org/ontology/date#1995
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/157a4a62
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b735666b
has-edited-by: person-12
has-page-numbers: 129-140
has-title: Quantitative Methods in Parallel Systems
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/1107fac0
family-name: Sommerville
full-name: I Sommerville
given-name: I
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/157a4a62
family-name: JeanMarie
full-name: A JeanMarie
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/183
has-date: http://www.aktors.org/ontology/date#1974
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f10fba30
has-page-numbers: 129-160
has-title: The Auerbach Annual 1974, Best Computer Papers
published-by: Petrocelli Books
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/96
has-isbn-number: 3-540-08766-4
has-page-numbers: 278-304
has-date: http://www.aktors.org/ontology/date#1978
has-page-numbers: 305-336
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ad906668
published-by: Springer-Verlag
has-title: The Vienna Development Method: The Meta-Language
has-volume: 61
has-edited-by: person-59
has-page-numbers: 218-277

http://newcastle.rkbexplorer.com/id/people/unknown/f8b671bc
family-name: Michie D
family-name: Michie
full-name: Michie D
full-name: D Michie
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/65c04580
family-name: Karshmer
full-name: A Karshmer
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/279
has-isbn-number: 3-540-28968-2
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/63426f21
published-by: Springer
has-volume: 3549
has-edited-by: person-21
has-page-numbers: 92-121
has-edited-by: person-84
has-page-numbers: 36-58
has-date: http://www.aktors.org/ontology/date#2005
has-title: Architecting Dependable Systems III
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/a793a2f1
family-name: Roger
full-name: J Y Roger
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/153
has-isbn-number: 0-7923-7791-5
has-date: http://www.aktors.org/ontology/date#2000
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0877c600
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/a1e6eafd
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c6d2ed20
has-page-numbers: 33-50
has-title: Hardware Design and Petri Nets
published-by: Kluwer Academic
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/2eb3f85b
family-name: Jones
full-name: A K Jones
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/249
has-volume: 3098
has-page-numbers: 345-401
type: Book-Reference
has-isbn-number: 3-540-22261-8
has-date: http://www.aktors.org/ontology/date#2004
has-title: Lectures on Concurrency and Petri Nets: Advances in Petri Nets
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b10d0a7d
has-page-numbers: 180-209
published-by: Springer-Verlag
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/98596a10
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0e4a4849

http://www.aktors.org/ontology/date#1998
has-pretty-name: 1998
year-of: 1998
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/123
has-isbn-number: 0-13-942672-8
has-date: http://www.aktors.org/ontology/date#1982
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/bfd8c6af
has-edited-by: person-4
has-title: VLSI Architecture
published-by: Prentice Hall International
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/edadc994
family-name: Palanque
full-name: P Palanque
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/b41bd105
family-name: Jelasity
full-name: M Jelasity
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/2bbc99b6
family-name: Toro
full-name: T T Toro
given-name: T
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/6
has-isbn-number: 0-201-19248-9
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/459cca0d
has-author: person-8
has-date: http://www.aktors.org/ontology/date#1988
has-title: Numerical Methods in Practice: Using the NAG Library
published-by: Addison Wesley, Wokingham
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/df8f00f9
family-name: Garcia
full-name: A Garcia
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/219
has-isbn-number: 0-7923-1858-7
has-date: http://www.aktors.org/ontology/date#1992
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/63f629b4
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/882ea3a4
has-page-numbers: 197-205
has-title: Computers and Writing : State of the Art
published-by: Kluwer Academic Publishers, Dordrecht/Intellect Ltd., Oxford
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/fc6b1ca8
family-name: Avresky
full-name: D R Avresky
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/280
published-by: Springer-Verlag
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/cdbc2035
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b41bd105
has-date: http://www.aktors.org/ontology/date#2005
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/e063fe6a
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/382423df
has-title: Self-Star Properties in Complex Information Systems: Conceptual and Practical Foundations
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/3683b006
has-isbn-number: 3-540-26009-9
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/6803ef2e
has-volume: 3460
has-edited-by: person-385

http://newcastle.rkbexplorer.com/id/people/unknown/05b6dd9a
family-name: Tofte
full-name: M Tofte
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/195
has-page-numbers: 289-295
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/9e715190
has-isbn-number: 0-306-47282-1
has-title: Lacrimal Gland, Tear Film, and Dry Eye Syndromes 3: Basic Science and Clinical Relevance, Part A
has-date: http://www.aktors.org/ontology/date#2002
published-by: Kluwer Academic Publishers/Plenum Publishers
has-volume: 506
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/5e3b8e10
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/bbf65f22

http://newcastle.rkbexplorer.com/id/publications/books/250
has-isbn-number: 0-86341-434-6
has-date: http://www.aktors.org/ontology/date#2004
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/63426f21
has-edited-by: person-21
has-edited-by: person-84
has-title: ICSE 2004. 26th International Conference on Software Engineering. Scotland. Third Workshop on Architecting Dependable Systems (WADS), 25th May 2004
published-by: IEE
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/0787078b
family-name: McDermid
full-name: J A McDermid
full-name: J McDermid
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/78
has-isbn-number: 3-540-19977-2
has-date: http://www.aktors.org/ontology/date#1996
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/99a95aa0
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b36f5eb0
has-page-numbers: 47-58
has-title: Formal Methods and Object Technology
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/764e7f95
family-name: Littlewood
full-name: B Littlewood
given-name: B
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/5350760a
family-name: Morgan
full-name: C Morgan
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/135
has-isbn-number: 3-540-15256-3
has-date: http://www.aktors.org/ontology/date#1985
has-edited-by: person-13
has-title: Reliable Computer Systems: Collected Papers of the Newcastle Reliability Project
has-title: Reliable computer systems: collected papers of the Newcastle Reliability Project
published-by: Springer Verlag
published-by: Springer-Verlag, Heidelberg
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/48
has-isbn-number: 0-444-82830-3
has-date: http://www.aktors.org/ontology/date#2001
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/7b747625
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/81141828
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/88e6b4e2
has-page-numbers: 873-944
has-title: Handbook of Process Algebra
published-by: Elsevier Science Publishers BV, Netherlands
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/d20e6cab
family-name: Shute
full-name: M Shute
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/292
has-title: Structure for Dependability: Computer Based Systems from an Interdisciplinary Perspective
has-edited-by: person-84
type: Book-Reference
has-web-address: http://homepages.cs.ncl.ac.uk/michael.harrison/papers/SujanSH05.pdf
has-edited-by: person-76
has-title: Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
has-page-numbers: 3-15
has-page-numbers: 127-142
published-by: Springer
has-page-numbers: 269-287
has-edited-by: person-59
has-isbn-number: 1-84628-110-5
has-date: http://www.aktors.org/ontology/date#2006

http://newcastle.rkbexplorer.com/id/publications/books/18
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/8f46cd4d
has-author: person-8
has-date: http://www.aktors.org/ontology/date#1988
has-title: Introduction to Computational Numerical Methods
published-by: Ellis Horwood, Chichester
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/3eb3ae5a
family-name: Avizienis
full-name: A Avizienis
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/39a3bffe
family-name: Bakk
full-name: M Bakk
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/262
has-isbn-number: 0-8058-2285-2
has-date: http://www.aktors.org/ontology/date#1998
has-edited-by: person-383
has-title: Representation and processing of spatial expressions
published-by: Lawrence Erlbaum Associates
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/5e3b8e10
family-name: Stern
full-name: M E Stern
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/232
has-isbn-number: 0-08-042000-1
has-date: http://www.aktors.org/ontology/date#1992
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/905b8ead
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ad5799dc
has-page-numbers: 83-90
has-title: Genetic Interactions Among Microorganisms in the Natural Environment
published-by: Pergamon Press
type: Book-Reference

http://www.aktors.org/ontology/date#1981
has-pretty-name: 1981
year-of: 1981
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/51c10a1d
family-name: Kopetz
full-name: H Kopetz
given-name: H
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/147
has-isbn-number: 0-262-23123-9
has-date: http://www.aktors.org/ontology/date#1985
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/a132314b
has-page-numbers: 135
has-title: Norbert Wiener: Collected Works, Vol. IV
has-volume: 23
published-by: MIT Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/202
has-isbn-number: 0-201-14230-9
has-date: http://www.aktors.org/ontology/date#1985
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c6d5dada
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/e5ce1783
has-page-numbers: 89-110
has-title: Software Specification Techniques
published-by: Addison-Wesley
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/9c4b8eef
family-name: Stone
full-name: H Stone
given-name: H
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/117
has-isbn-number: 973-8095-60-3
has-author: person-114
has-date: http://www.aktors.org/ontology/date#2001
has-title: Artificial Neural Networks for Approximation and Time Series Prediction
published-by: Presa Universitara, Cluj
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/91
has-isbn-number: 3-540-19581-5
has-date: http://www.aktors.org/ontology/date#1990
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/7c21fee9
has-page-numbers: 184-195
has-title: Specification and Verification of Concurrent Systems
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/179eb153
family-name: Dorrell
full-name: N Dorrell
given-name: N
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/274
has-isbn-number: 3-540-25053-0
has-date: http://www.aktors.org/ontology/date#2005
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/1b24d3d6
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c242d34d
has-edited-by: person-21
has-title: Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
has-volume: 3409
published-by: Springer Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/61
has-date: http://www.aktors.org/ontology/date#1998
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/98596a10
has-volume: 1492
published-by: Springer-Verlag
has-isbn-number: 3-540-65307-4
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b10d0a7d
type: Book-Reference
has-page-numbers: 154-236
has-page-numbers: 1-84
has-title: Lectures on Petri Nets II: Applications, Advances in Petri Nets

http://newcastle.rkbexplorer.com/id/publications/books/189
has-isbn-number: 0-471-49195-0
has-date: http://www.aktors.org/ontology/date#2001
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/2d9f1cb0
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/7046cd63
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/79e31ede
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b6543048
has-title: Performability Modelling: Techniques and Tools
published-by: Wiley
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/f253c20e
family-name: Focardi
full-name: R Focardi
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/bfd8c6af
family-name: Treleaven
full-name: P C Treleaven
given-name: P
type: Person

http://www.aktors.org/ontology/date#1993
has-pretty-name: 1993
year-of: 1993
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/31
has-isbn-number: 0-412-54820-8
has-date: http://www.aktors.org/ontology/date#1993
has-edited-by: person-10
has-edited-by: person-142
has-title: Safety-Critical Systems: Current Issues, Techniques and Standards
published-by: Chapman-Hall, London
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/1
has-isbn-number: 3-211-82296-8
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/3eb3ae5a
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/e1151b3c
has-author: person-10
has-date: http://www.aktors.org/ontology/date#1992
has-title: Dependability: Basic Concepts and Terminology
has-volume: 5
published-by: Springer-Verlag, New York
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/214
has-isbn-number: 3-540-42896-8
has-date: http://www.aktors.org/ontology/date#2001
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f253c20e
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f34b4694
has-page-numbers: 1-62
has-title: Foundations of Security Analysis and Design: Tutorial Lectures
has-volume: 2171
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/8004237a
family-name: Woodman
full-name: M Woodman
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/129
has-isbn-number: 0-85539-160-X
has-date: http://www.aktors.org/ontology/date#1974
has-page-numbers: 369-384
has-title: INFOTECH State of the Art Report on Computer Design
has-volume: 17
published-by: Infotech Information, Maidenhead
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/190
has-isbn-number: 0-444-88097-6
has-date: http://www.aktors.org/ontology/date#1992
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/374a009c
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/4fa4a616
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/84b271d3
has-title: Computing
has-volume: 3
published-by: North-Holland
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/4f489f38
family-name: Landwehr
full-name: C E Landwehr
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/5b6f8ad6
family-name: Perrott
full-name: R H Perrott
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/00ca7ea7
family-name: Hollnagel
full-name: E (ed) Hollnagel
given-name: E
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/ac8868f4
family-name: Whitby
full-name: M Whitby
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/130
has-date: http://www.aktors.org/ontology/date#1979
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/23d1290f
has-title: Histoire Generale des Techniques V. Les Techniques de la Civilisation Industrielle
published-by: Presses Universitaires de France, Paris
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/e352dae7
family-name: Lyu
full-name: M Lyu
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/79e31ede
family-name: Marie
full-name: R Marie
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/45d78b09
family-name: Lindsay
full-name: P A Lindsay
given-name: P
type: Person

http://www.aktors.org/ontology/date#2005
has-pretty-name: 2005
year-of: 2005
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/100
has-isbn-number: 0-13-116088-5
has-date: http://www.aktors.org/ontology/date#1989
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/337b36f0
has-edited-by: person-59
has-page-numbers: 235-256
has-title: Case Studies in Systematic Software Development
published-by: Prentice Hall
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/c262ea90
family-name: Reussner
full-name: R H Reussner
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/13
has-isbn-number: 0-216-92901-6
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/776910e7
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/ce7c05e1
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/f03b3efd
has-date: http://www.aktors.org/ontology/date#1991
has-title: Engineering Analysis Using PAFEC Finite Element Software.
published-by: Blackie
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/fcf18609
family-name: Hardstone
full-name: G Hardstone
given-name: G
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/768a035b
family-name: Ballin
full-name: D Ballin
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/081fc8e7
family-name: Wermter
full-name: S Wermter
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/8f66d1f4
family-name: Lindskov Knudsen
full-name: J Lindskov Knudsen
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/268
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/51c10a1d
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0024774d
has-page-numbers: 437-440
has-date: http://www.aktors.org/ontology/date#1987
has-title: The Evolution of Fault-Tolerant Computing. In the Honor of William C. Carter
published-by: Springer-Verlag
has-volume: 1
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/3eb3ae5a
has-isbn-number: 3-211-81941-X
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/5c998726
family-name: Bussler
full-name: C Bussler
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/142
has-abstract: The paper starts with a brief account of how and why, at about the time of the birth of what is now INRIA, the author and his colleagues became interested in the subject now known as system dependability. The main body of the paper summarizes the work over the last three years of the ESPRIT Basic Research project on Predictably Dependable Computing Systems (PDCS). This is a long term collaborative research activity, centred on the problems (i) of producing quantitative methods for measuring and predicting the dependability of complex software/hardware systems, (ii) of incorporating such methods into the design process, and (iii) of developing appropriate architectures and components as bases for designing predictably dependable systems. A further section of the paper then describes, in somewhat more detail, one of the current activities within PDCS. This is work being carried out by the author in collaboration with an INRIA colleague, Dr. Jean-Charles Fabre, on a unified approach to providing both reliability and security termed Object-Oriented Fragmented Data Processing (OOFDP).
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/801ef825
has-page-numbers: 21-50
type: Book-Reference
has-title: Future Tendencies in Computer Science, Control and Applied Mathematics
has-date: http://www.aktors.org/ontology/date#1992
published-by: Springer-Verlag
has-volume: 653
has-isbn-number: 3-540-56320-2
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f3fb1457

http://www.aktors.org/ontology/date#1987
has-pretty-name: 1987
year-of: 1987
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/a219eaaa
family-name: Sparck Jones
full-name: K Sparck Jones
given-name: K
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/f3fb1457
family-name: Verjus
full-name: J P Verjus
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/86e59c65
family-name: Szekely
full-name: I Szekely
given-name: I
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/e3bd323f
family-name: Judith J
full-name: A Judith J
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/208
has-isbn-number: 0-333-40737-7
has-date: http://www.aktors.org/ontology/date#1986
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/727d2a04
has-title: Introduction to Discrete Mathematics for Software Engineering
published-by: Palgrave Macmillan
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/88e6b4e2
family-name: Bergstra
full-name: J Bergstra
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/1d59e482
family-name: Powell
full-name: D Powell
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/184
has-date: http://www.aktors.org/ontology/date#1990
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/d20e6cab
has-title: Parallel Computers
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/97
has-isbn-number: 0-13-821884-6
has-author: person-59
has-date: http://www.aktors.org/ontology/date#1980
has-title: Software Development: A Rigorous Approach
published-by: Prentice Hall
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/29c79450
family-name: Eames
full-name: R Eames
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/154
has-isbn-number: 1-901640-02-7
has-date: http://www.aktors.org/ontology/date#1999
has-page-numbers: 192-193
has-title: BCS Review 1999 - Looking Towards the Millennium
published-by: British Computer Society
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/374a009c
family-name: Coffman
full-name: E G Coffman
given-name: E
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/ce7c05e1
family-name: Woodford
full-name: C H Woodford
full-name: C Woodford
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/32f61568
family-name: Verhoef
full-name: M Verhoef
given-name: M
type: Person

http://www.aktors.org/ontology/date#1999
has-pretty-name: 1999
year-of: 1999
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/124
has-date: http://www.aktors.org/ontology/date#1964
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/455f8bcf
has-page-numbers: 122-136
has-title: Introduction to System Programming
published-by: Academic Press, London
type: Book-Reference

www.aktors.org
locale: en_US
type: website
title: Turning Shoe Information to Knowledge of Technology and Deals
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
site name: Aktors

http://newcastle.rkbexplorer.com/id/people/unknown/0f324f5c
family-name: Marciniak
full-name: J J (ed inchief) Marciniak
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/7
has-isbn-number: 0-13-308254-7
has-author: person-10
has-author: person-29
has-date: http://www.aktors.org/ontology/date#1981
has-title: Fault Tolerance: Principles and Practice
published-by: Prentice Hall, London
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/e3ca2610
family-name: Singh
full-name: M G Singh
given-name: M
type: Person

http://www.aktors.org/ontology/date#1969
has-pretty-name: 1969
year-of: 1969
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/d2e4c483
family-name: Schneider
full-name: S A Schneider
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/196
has-isbn-number: 0-13-880717-5
has-author: person-59
has-date: http://www.aktors.org/ontology/date#1986
has-title: Systematic Software Development Using VDM
published-by: Prentice Hall
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/455f8bcf
family-name: Wegner
full-name: P Wegner
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/251
has-title: ICSE 2004. 26th International Conference on Software Engineering. Scotland. Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'04), 24th-25th May 2004
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/9fbfaa44
has-date: http://www.aktors.org/ontology/date#2004
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/df8f00f9
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/efb48def
has-isbn-number: 0-86341-431-1
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/489c32c1
published-by: IEE
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/948e432e
has-edited-by: person-21

http://newcastle.rkbexplorer.com/id/people/unknown/782d1776
family-name: McIver
full-name: A McIver
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/166
has-date: http://www.aktors.org/ontology/date#1991
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/2124c0b3
has-edited-by: person-12
has-title: Communication Systems
published-by: J.C. Baltzer
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/240129bb
family-name: Voges
full-name: U Voges
given-name: U
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/63426f21
family-name: de Lemos
full-name: R de Lemos
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/221
has-isbn-number: 1-85233-696-X
has-date: http://www.aktors.org/ontology/date#2002
has-edited-by: person-10
has-edited-by: person-142
has-page-numbers: 63-76
has-title: Current Issues In Safety Critical Systems
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/0b2c5f8c
family-name: Hoare
full-name: C A R Hoare
given-name: C
type: Person

http://www.aktors.org/ontology/date#2000
has-pretty-name: 2000
year-of: 2000
type: Calendar-Date

http://www.aktors.org/ontology/date#1970
has-pretty-name: 1970
year-of: 1970
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/50621d54
family-name: Silva
full-name: A Silva
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/05175966
family-name: Yang
full-name: L T Yang
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/136
has-isbn-number: 0-387-16765-X
has-date: http://www.aktors.org/ontology/date#1986
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b490314f
has-page-numbers: 35-52
has-title: Software System Design Methods
has-volume: 22
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/652f3f80
family-name: Wand
full-name: I Wand
given-name: I
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/c4c40790
family-name: Jacobsen
full-name: B H Jacobsen
given-name: B
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/f9499b7e
family-name: Northrop
full-name: L Northrop
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/19
has-isbn-number: 0-53495-339-5
has-author: person-29
has-author: person-8
has-date: http://www.aktors.org/ontology/date#1997
has-title: Der C++ - kurs. Der Einsteig in die Objektorientierte Programmierung
has-web-address: http://www.cs.ncl.ac.uk/research/pubs/other/software/apprentice/index.html
published-by: ITCP, Bonn
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/3f3f04a0
family-name: Metropolis
full-name: N et al Metropolis
given-name: N
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/293
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/df8f00f9
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/4bc1e6b9
has-volume: 3914
has-title: Software Engineering for Multi-Agent Systems IV : Research Issues and Practical Applications
has-edited-by: person-21
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/a40071b0
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/9fbfaa44
has-isbn-number: 3-540-33580-3
type: Book-Reference
published-by: Springer
has-date: http://www.aktors.org/ontology/date#2006

http://newcastle.rkbexplorer.com/id/people/unknown/8b4ae52a
family-name: Silva Weber
full-name: T Silva Weber
given-name: T
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/263
has-isbn-number: 0-7923-4080-9
has-date: http://www.aktors.org/ontology/date#1996
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/34b9cdc8
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/e18c9a82
has-page-numbers: 3-20
has-title: Artificial Intelligence in Design. 4th International Conference, Stanford, CA, June 1996
published-by: Kluwer Academic Publishers
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/18cfcc31
family-name: Kristiansen
full-name: B Kristiansen
given-name: B
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/e063fe6a
family-name: Fetzer
full-name: C Fetzer
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/233
has-isbn-number: 0-412-35630-9
has-date: http://www.aktors.org/ontology/date#1990
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/566b0881
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/a9cfc7ea
has-page-numbers: 216-230
has-title: Bacterial Genetics in Natural Environments
published-by: Kluwer Academic Publishers, Dordrecht/Chapman and Hall
type: Book-Reference

http://www.aktors.org/ontology/date#1982
has-pretty-name: 1982
year-of: 1982
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/20
has-isbn-number: 3-540-67398-9
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/7e2868be
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/f7aded74
has-author: person-9
has-date: http://www.aktors.org/ontology/date#2001
has-title: Petri Net Algebra
published-by: Springer-Verlag, New York
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/0017e7de
family-name: Woodcock
full-name: J C P Woodcock
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/84893145
family-name: Sachenko
full-name: A Sachenko
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/ce917cd8
family-name: Mansell
full-name: R Mansell
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/62cf08eb
family-name: Herbert
full-name: A Herbert
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/9fbfaa44
family-name: Choren
full-name: R Choren
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/87697d65
family-name: Simoncini
full-name: L Simoncini
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/489c32c1
family-name: Minsky
full-name: N Minsky
given-name: N
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/4fa4a616
family-name: Lenstra
full-name: J K Lenstra
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/118
has-date: http://www.aktors.org/ontology/date#1999
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/2bbc99b6
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/39a3bffe
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/86e59c65
has-page-numbers: 370-375
has-title: On Midway. Stills of the Reform of the Transylvanian Hungarian Politics
published-by: Pro-Print, Csikszereda, Romania
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/92
has-isbn-number: 0-13-294844-3
has-date: http://www.aktors.org/ontology/date#1994
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/6d616eb7
has-page-numbers: 231-246
has-title: A Classical Mind: Essays in Honour of C.A.R. Hoare
published-by: Prentice Hall PTR
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/ec4aa008
family-name: Collins
full-name: B S Collins
given-name: B
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/a92cc622
family-name: Buchmann
full-name: A P Buchmann
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/3f23eeeb
family-name: Davies
full-name: J Davies
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/245
has-isbn-number: 0-387-20170-X
has-date: http://www.aktors.org/ontology/date#2004
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/62cf08eb
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/a219eaaa
has-page-numbers: 229-235
has-title: Computer Systems: Theory, Technology and Applications
published-by: Springer
type: Book-Reference

http://www.aktors.org/ontology/date#1994
has-pretty-name: 1994
year-of: 1994
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/51e70c13
family-name: Moore
full-name: R Moore
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/2
has-isbn-number: 0-632-01819-4
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/0f0f10b0
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/695205c7
has-date: http://www.aktors.org/ontology/date#1989
has-title: The ANSA Reference Manual
published-by: Architecture Projects Management Ltd., Cambridge
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/7be09105
family-name: McLauchlan
full-name: M R McLauchlan
given-name: M
type: Person

http://www.aktors.org/ontology/date#1964
has-pretty-name: 1964
year-of: 1964
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/191
has-isbn-number: 85224-062-7
has-date: http://www.aktors.org/ontology/date#1969
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c964a0b5
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f8b671bc
has-page-numbers: 45-55
has-title: Machine Intelligence 4
published-by: Edinburgh University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/287
has-isbn-number: 3-540-21977-3
has-date: http://www.aktors.org/ontology/date#2004
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/72153964
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/dd55088d
has-edited-by: person-383
has-title: Smart Graphics: 4th International Symposium, SG 2004, Banff, Canada, May 23-25, 2004
has-volume: 3031
published-by: Springer
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/ca79bbe4
family-name: Freeman
full-name: L Freeman
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/daa3626d
family-name: Davids
full-name: J E Davids
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/257
type: Book-Reference
has-edited-by: person-21
has-title: Architecting Dependable Systems II
published-by: Springer
has-date: http://www.aktors.org/ontology/date#2004
has-edited-by: person-84
has-page-numbers: 144 -166
has-page-numbers: 215-238
has-isbn-number: 3-540-23168-4
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/63426f21
has-volume: 3069

http://newcastle.rkbexplorer.com/id/people/unknown/2865ee44
family-name: Bicarregui
full-name: J C Bicarregui
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/7c5f6ef4
family-name: Megson
full-name: G M Megson
given-name: G
type: Person

http://www.aktors.org/ontology/date#2006
has-pretty-name: 2006
year-of: 2006
type: Calendar-Date

http://www.aktors.org/ontology/date#1976
has-pretty-name: 1976
year-of: 1976
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/14
has-isbn-number: 1-85032-161-2
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/7be09105
has-author: person-29
has-author: person-8
has-date: http://www.aktors.org/ontology/date#1996
has-title: Lab Manual to Accompany The Apprentice C++ Programmer: A Touch of Class
has-web-address: http://www.cs.ncl.ac.uk/research/pubs/other/software/apprentice/index.html
published-by: ITCP/PWS, London/Boston
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/101
has-abstract: This chapter reviews the development of the recovery block approach to software fault tolerance and subsequent work based on this approach. It starts with an account of the development and implementations of the basic recovery block scheme in the early 1970s at Newcastle, and then goes on to describe work at Newcastle and elsewhere on extensions to the basic scheme, recovery in concurrent systems, and linguistic support for recovery blocks based on the use of object-oriented programming concepts.
has-isbn-number: 0-471-95068-8
has-date: http://www.aktors.org/ontology/date#1994
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/e352dae7
has-page-numbers: 1-22
has-title: Software Fault Tolerance
published-by: Wiley
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/776910e7
family-name: Bull
full-name: J W Bull
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/7b747625
family-name: Ponse
full-name: A Ponse
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/8d12283f
family-name: Kelly
full-name: F P Kelly
given-name: F
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/269
has-isbn-number: 0-632-01573-X
has-date: http://www.aktors.org/ontology/date#1987
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/764e7f95
has-page-numbers: 44-55
has-title: Software Reliability: Achievement and Assessment
published-by: Blackwell Scientific Publications
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/143
has-isbn-number: 0-471-21007-2
has-date: http://www.aktors.org/ontology/date#1994
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0f324f5c
has-page-numbers: 1037-1038
has-title: Encyclopedia of Software Engineering, Vol 2
published-by: Wiley, New York
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/24a4dd99
family-name: Gelenbe
full-name: E Gelenbe
given-name: E
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/239
has-isbn-number: 0-85198-897-0
has-date: http://www.aktors.org/ontology/date#1994
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ac8868f4
has-page-numbers: 105-133
has-title: Incentives for Countryside Management: The Case of Environmentally Sensitive Areas
published-by: CAB International, Wallingford
type: Book-Reference

http://www.aktors.org/ontology/date#1988
has-pretty-name: 1988
year-of: 1988
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/2d8aa966
family-name: Johnson
full-name: C W Johnson
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/f242806a
family-name: Willshaw
full-name: D Willshaw
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/270
has-isbn-number: 0-387-82014-0
has-date: http://www.aktors.org/ontology/date#1988
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/240129bb
has-page-numbers: 109-128
has-page-numbers: 173-182
has-title: Software Diversity in Computerized Control Systems
has-volume: 2
published-by: Springer
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/98
has-isbn-number: 0-13-329003-4
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/ad906668
has-author: person-59
has-date: http://www.aktors.org/ontology/date#1982
has-title: Formal Specification and Software Development
published-by: Prentice Hall
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/185
has-isbn-number: 0-470-85319-0
has-date: http://www.aktors.org/ontology/date#2003
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/bd0c60e3
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/d4b73f26
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/e705ab85
has-page-numbers: 363-384
has-title: Grid Computing: Making The Global Infrastructure a Reality
published-by: Wiley
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/98596a10
family-name: Reisig
full-name: W Reisig
given-name: W
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/a40071b0
family-name: Giorgini
full-name: P Giorgini
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/f28b5cff
family-name: Austin
full-name: J Austin
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/0f0f10b0
family-name: ANSA
full-name: Consortium ANSA
given-name: Consortium
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/210
has-isbn-number: 0-13-948472-8
has-date: http://www.aktors.org/ontology/date#1996
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0017e7de
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/3f23eeeb
has-title: Using Z: Specification, Refinement, and Proof
published-by: Prentice Hall PTR
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/125
has-date: http://www.aktors.org/ontology/date#1971
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/fa4695bf
has-page-numbers: 35-38
has-title: Efficient Production of Large Programs
published-by: Computation Centre of the Polish Academy of Sciences, Warsaw
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/b6543048
family-name: Trivedi
full-name: K Trivedi
given-name: K
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/388dbdc7
family-name: Buxton
full-name: J N Buxton
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/15bb54a9
family-name: Akera
full-name: A Akera
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/8
has-isbn-number: 1-85032-160-4
has-author: person-29
has-author: person-8
has-date: http://www.aktors.org/ontology/date#1996
has-title: The Apprentice C++ Programmer: A Touch of Class
has-web-address: http://www.cs.ncl.ac.uk/research/pubs/other/software/apprentice/index.html
published-by: ITCP/PWS, London/Boston
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/566b0881
family-name: Day
full-name: M J Day
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/a132314b
family-name: Masani
full-name: P Masani
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/5b7a7b11
family-name: Misra
full-name: J Misra
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/282
has-isbn-number: 1-4020-3380-X
published-by: Springer
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/84893145
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/743c1f17
has-title: Cyberspace Security and Defense: Research Issues
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/acc15bc2
type: Book-Reference
has-page-numbers: 143-160
has-date: http://www.aktors.org/ontology/date#2005
has-volume: 196

http://newcastle.rkbexplorer.com/id/publications/books/197
has-isbn-number: 2-225-82812-1
has-author: person-59
has-date: http://www.aktors.org/ontology/date#1993
has-title: VDM: Une methode rigoureuse pour le developpment du logiciel
published-by: Masson, Paris
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/6d616eb7
family-name: Roscoe
full-name: A W Roscoe
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/252
has-edited-by: person-21
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b19912c2
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c6c55716
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/df8f00f9
has-volume: 2940
has-title: Software Engineering for Multi-Agent Systems II
has-isbn-number: 3-540-21182-9
published-by: Springer Verlag
has-date: http://www.aktors.org/ontology/date#2004

http://newcastle.rkbexplorer.com/id/publications/books/167
has-isbn-number: 0-8493-8074-X
has-date: http://www.aktors.org/ontology/date#1995
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ff2ec278
has-title: Advances in Queueing Theory, Methods, and Open Problems
has-volume: 4
published-by: CRC Press
type: Book-Reference

http://www.aktors.org/ontology/date#2001
has-pretty-name: 2001
year-of: 2001
type: Calendar-Date

http://www.aktors.org/ontology/date#1971
has-pretty-name: 1971
year-of: 1971
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/4cbb2902
family-name: Burnard
full-name: L Burnard
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/81141828
family-name: Smolka
full-name: S Smolka
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/137
has-isbn-number: 3-211-81941-X
has-date: http://www.aktors.org/ontology/date#1987
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0024774d
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/3eb3ae5a
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/51c10a1d
has-page-numbers: 251-270
has-title: The Evolution of Fault-Tolerant Computing
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/ff2ec278
family-name: Dshalalow
full-name: J H Dshalalow
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/294
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/e3bd323f
has-title: Architecting Systems with Trustworthy Components. International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
has-page-numbers: 193-215
has-volume: 3938
published-by: Springer Verlag
has-date: http://www.aktors.org/ontology/date#2006
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/6390a190
has-isbn-number: 3-540-35800-5
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c262ea90
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/c1502689
family-name: Tripathi
full-name: A Tripathi
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/e1151b3c
family-name: Carter
full-name: W C Carter
given-name: W
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/4bd1a013
family-name: Gray
full-name: J Gray
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/f7aded74
family-name: Best
full-name: E Best
given-name: E
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/264
has-date: http://www.aktors.org/ontology/date#1996
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/84820955
has-page-numbers: 0-00
has-title: Artificial Intelligence in Design Workshop on Visual Reasoning and Interaction in Design, Stanford, CA, June 1996
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/c242d34d
family-name: Reggio
full-name: G Reggio
given-name: G
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/21
has-isbn-number: 0-201-70332-7
has-date: http://www.aktors.org/ontology/date#2001
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/a5bc8304
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f9499b7e
has-page-numbers: 485-512
has-title: Software Product Lines: Practices and Patterns
published-by: Addison-Wesley
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/149
has-volume: 774
type: Book-Reference
has-edited-by: person-29
has-isbn-number: 0-387-57767-X
has-isbn-number: 3-540-57767-X
has-date: http://www.aktors.org/ontology/date#1994
published-by: Springer-Verlag
has-title: Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/9b09c1a3
has-page-numbers: 218-226

http://newcastle.rkbexplorer.com/id/publications/books/204
published-by: Springer-Verlag
has-page-numbers: 90-109
has-edited-by: person-84
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/63426f21
has-title: Architecting Dependable Systems
has-isbn-number: 3-540-40727-8
type: Book-Reference
has-date: http://www.aktors.org/ontology/date#2003
has-volume: 2677
has-edited-by: person-21
has-page-numbers: 175-194

http://newcastle.rkbexplorer.com/id/people/unknown/c6c55716
family-name: Alencar
full-name: P S C (eds) Alencar
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/119
has-isbn-number: 3-540-54985-4
has-date: http://www.aktors.org/ontology/date#1991
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/1d59e482
has-page-numbers: 295-305
has-title: Delta-4: A Generic Architecture for Dependable Distributed Computing
has-volume: 1
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/93
has-isbn-number: 3-540-19651-X
has-date: http://www.aktors.org/ontology/date#1991
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/020156ab
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/45d78b09
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/51e70c13
has-edited-by: person-59
has-title: MURAL: A Formal Development Support System
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/180
has-isbn-number: 90-73035-06-6
has-date: http://www.aktors.org/ontology/date#1991
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c78894e0
has-page-numbers: 304-309
has-title: Scientific Europe: Research and Technology in 20 Countries
published-by: Foundation Scientific Europe, Maastricht
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/276
has-isbn-number: 1-84542-177-9
has-date: http://www.aktors.org/ontology/date#2005
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ce917cd8
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ec4aa008
has-page-numbers: 59-91
has-title: Trust and Crime in Information Societies
has-web-address: http://www.foresight.gov.uk/Previous_Projects/Cyber_Trust_and_Crime_Prevention/Reports_and_Publications/Cyber_Trust__Crime_Prevention__Dependable_Pervasive_Systems.html
published-by: Edward Elgar Publishing
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/150
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/8f66d1f4
has-edited-by: person-21
has-date: http://www.aktors.org/ontology/date#2001
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c1502689
has-title: Advances in Exception Handling Techniques
has-volume: 2022
has-isbn-number: 3-540-41952-7
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/8f53bd6a
published-by: Springer-Verlag

http://newcastle.rkbexplorer.com/id/publications/books/63
has-isbn-number: 1-4020-7043-8
has-date: http://www.aktors.org/ontology/date#2002
has-edited-by: person-13
has-edited-by: person-21
has-page-numbers: 3-22
has-page-numbers: 41-59
has-title: Concurrency in Dependable Computing
published-by: Kluwer Academic Publishers, Boston
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/b490314f
family-name: Skwirzynski
full-name: J K Skwirzynski
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/801ef825
family-name: Bensoussan
full-name: A Bensoussan
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/ee592905
family-name: Wren
full-name: B Wren
given-name: B
type: Person

http://www.aktors.org/ontology/date#1995
has-pretty-name: 1995
year-of: 1995
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/aaf30f73
family-name: Snow
full-name: C R Snow
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/120
has-isbn-number: 12-578150-4
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/0f5e0bb1
has-author: person-4
has-date: http://www.aktors.org/ontology/date#1964
has-title: Algol 60 Implementation
published-by: Academic Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/99a95aa0
family-name: Goldsack
full-name: S J Goldsack
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/84b271d3
family-name: Rinooy Kan
full-name: A H G Rinooy Kan
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/3
has-isbn-number: 0-947568-42-5
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/4cbb2902
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/4da173c6
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/d56c92e7
has-date: http://www.aktors.org/ontology/date#1989
has-title: Free Text Retrieval Systems: A Review and Evaluation
published-by: Taylor-Graham, London
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/f8617ccd
family-name: Lowe
full-name: G Lowe
given-name: G
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/c964a0b5
family-name: Meltzer B
family-name: Meltzer
full-name: Meltzer B
full-name: B Meltzer
given-name: B
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/e705ab85
family-name: Fox
full-name: G Fox
given-name: G
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/288
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/dd55088d
has-isbn-number: 3-540-28179-7
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f84a8598
published-by: Springer
has-edited-by: person-383
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/72153964
has-volume: 3638
has-date: http://www.aktors.org/ontology/date#2005
type: Book-Reference
has-title: Smart Graphics: 5th International Symposium, SG 2005, Frauenworth Cloister, Germany, August 22-24, 2005

http://newcastle.rkbexplorer.com/id/publications/books/162
has-isbn-number: 0-12-279350-1
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/24a4dd99
has-author: person-12
has-date: http://www.aktors.org/ontology/date#1980
has-title: Analysis and Synthesis of Computer Systems
published-by: Academic Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/b36f5eb0
family-name: Kent
full-name: S J H Kent
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/fac0419a
family-name: Eames
full-name: C Eames
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/258
has-isbn-number: 0-8058-4003-6
has-date: http://www.aktors.org/ontology/date#2003
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/00ca7ea7
has-page-numbers: 503-524
has-title: Handbook of Cognitive Task Design
published-by: Lawrence Erlbaum Associates
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/0b71d39c
family-name: Simpson
full-name: L Simpson
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/132
has-date: http://www.aktors.org/ontology/date#1980
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/9c4b8eef
has-title: Fundamentals of Computer Architecture
published-by: Science Research Associates
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/45
has-page-numbers: 238-253
has-date: http://www.aktors.org/ontology/date#1999
has-isbn-number: 3-540-67196-X
has-title: Advances in Distributed Systems
has-abstract: Prior to 1994, student registration at Newcastle University involved students being registered in a single place, where they would present a form which had previously been filled in by the student and their department. After registration this information was then transferred to a computerised format. The University decided that the entire registration process was to be computerised for the Autumn of 1994, with the admission and registration being carried out at the departments of the students. Such a system has a very high availability requirement: admissions tutors and secretaries must be able to access and create student records (particularly at the start of a new academic year when new students arrive). The Arjuna distributed system has been under development in the Department of Computing Science for many years. ArjunaÂs design aims are to provide tools to assist in the construction of fault-tolerant, highly available distributed applications using atomic actions (atomic transactions) and replication. Arjuna offers the right set of facilities for this application, and its deployment would enable the University to exploit the existing campus network and workstation clusters, thereby obviating the need for any specialised fault tolerant hardware.
published-by: Springer-Verlag
has-edited-by: person-13
has-volume: 1752
type: Book-Reference
has-page-numbers: 453-471
has-abstract: A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has been considerable work on data replication techniques for increasing the availability of persistent data that is manipulated under the control of transactions. Process groups with ordered group communications (process groups for short) has also emerged as a model for building available distributed applications. High service availability can be achieved by replicating the service state on multiple processes managed by a group communication infrastructure. These two models are often seen as rivals. This paper examines whether a distributed transaction system can profit from process groups for supporting replication of objects. A general model of distributed objects is used to investigate how objects can be replicated for availability using a system that supports transactions (but no process groups) and a system that supports process groups (but no transactions). A comparative evaluation reveals how a distributed transaction system can exploit group communications for obtaining a flexible approach to supporting replication of objects.
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/5f546592

http://newcastle.rkbexplorer.com/id/people/unknown/882ea3a4
family-name: O'Brian Holt
full-name: P O'Brian Holt
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/6390a190
family-name: Szyperski
full-name: C A Szyperski
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/b735666b
family-name: Baccelli
full-name: F Baccelli
given-name: F
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/101f5489
family-name: StanfordSmith
full-name: B StanfordSmith
given-name: B
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/228
has-isbn-number: 0-521-77917-0
has-date: http://www.aktors.org/ontology/date#2001
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/18cfcc31
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/26caac7e
has-title: Basic Biotechnology (2nd edition)
published-by: Cambridge University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/102
has-abstract: Software fault tolerance is often necessary, but can itself be dangerously error-prone because of the additional effort that must be involved in the programming process. The additional redundancy may increase size and complexity and thus adversely affect software reliability. Object-oriented programming provides an appropriate framework for controlling complexity and enforcing reliability. However, software fault tolerance cannot be achieved merely by implementing the classical fault-tolerance schemes in an object-oriented fashion. New problems arise while integrating software redundancy into object-oriented computing systems. This paper identifies a set of such problems, addresses possible solutions, and proposes an object-oriented architecture for dealing with software design faults. Both linguistic supports for the architecture and implementation issues are discussed in detail.
has-isbn-number: 0-7923-8069-X
has-date: http://www.aktors.org/ontology/date#1994
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/fc6b1ca8
has-title: Fault-Tolerant Parallel and Distributed Systems
published-by: IEEE Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/15
has-isbn-number: 0-521-62348-0
has-author: person-129
has-author: person-382
has-date: http://www.aktors.org/ontology/date#1998
has-title: Modelling Systems: Practical Tools and Techniques in Software Engineering
published-by: Cambridge University Press
type: Book-Reference

person-21
family-name: Lucena
family-name: Romanovsky A
full-name: Romanovsky A
full-name: C Lucena
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/9b09c1a3
family-name: Banatre
full-name: M Banatre
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/f5990374
family-name: Stirling
full-name: C P Stirling
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/87
has-date: http://www.aktors.org/ontology/date#2001
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/081fc8e7
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f242806a
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f28b5cff
has-page-numbers: 296-310
has-title: Emerging Neural Architectures Based on Neuroscience
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/2124c0b3
family-name: Mitra
full-name: D Mitra
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/695205c7
family-name: Dobson
full-name: J E Dobson
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/0e4a4849
family-name: Desel
full-name: J Desel
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/c73dff75
family-name: Gratch
full-name: J Gratch
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/cdbc2035
family-name: Montresor
full-name: A Montresor
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/144
has-date: http://www.aktors.org/ontology/date#1996
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/5fa20c43
has-title: Histoire Generale des Techniques, V. Les Techniques de la Civilisation Industrielle: Transformation, Communication, Facteur Humain
published-by: Presses Universitaires de France, Paris
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/57
has-date: http://www.aktors.org/ontology/date#1979
has-title: Computing Systems Reliability
has-page-numbers: 153-210
type: Book-Reference
has-edited-by: person-10
has-edited-by: person-4
published-by: Cambridge University Press, New York
published-by: Cambridge University Press
has-isbn-number: 0-521-2276-74
has-isbn-number: 0-521-22767-4
has-page-numbers: 1-18

http://newcastle.rkbexplorer.com/id/publications/books/114
has-volume: 60
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/4bd1a013
published-by: Springer-Verlag
has-isbn-number: 0-387-08755-9
has-date: http://www.aktors.org/ontology/date#1978
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b06f50ae
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/2eb3f85b
has-title: Operating Systems: An Advanced Course
type: Book-Reference
has-page-numbers: 283-393

http://newcastle.rkbexplorer.com/id/people/unknown/fdc59f91
family-name: Mate
full-name: J L Mate
given-name: J
type: Person

http://www.aktors.org/ontology/date#1989
has-pretty-name: 1989
year-of: 1989
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/f59637cf
family-name: Wulf
full-name: W A Wulf
given-name: W
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/27
has-isbn-number: 0-412-44830-0
has-date: http://www.aktors.org/ontology/date#1994
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/7c5f6ef4
has-title: Transformational Approaches to Systolic Design
has-volume: 2
published-by: Chapman and Hall, London
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/459cca0d
family-name: Hopkins
full-name: T Hopkins
given-name: T
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/a5bc8304
family-name: Clements
full-name: P Clements
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/727d2a04
family-name: Denvir
full-name: T Denvir
given-name: T
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/186
has-isbn-number: 0-521-30688-4
has-author: person-12
has-date: http://www.aktors.org/ontology/date#1987
has-title: Modelling of Computer and Communication Systems
has-volume: 24
published-by: Cambridge University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/99
has-isbn-number: 0-13-880733-7
has-author: person-59
has-date: http://www.aktors.org/ontology/date#1990
has-title: Systematic Software Development using VDM (2nd Edition)
published-by: Prentice Hall
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/ad906668
family-name: Bjorner
full-name: D Bjorner
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/241
has-isbn-number: 0-19-514025-7
has-date: http://www.aktors.org/ontology/date#2002
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/15bb54a9
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/a8d08cb7
has-page-numbers: 41-50
has-title: From 0 to 1: An Authoritative History of Modern Computing
published-by: Oxford University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/c6d5dada
family-name: Gehani
full-name: N Gehani
given-name: N
type: Person

http://www.aktors.org/ontology/date#1990
has-pretty-name: 1990
year-of: 1990
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/c916abfa
family-name: Feijen
full-name: W H J Feijen
given-name: W
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/efb48def
family-name: Kung
full-name: D Kung
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/0055a438
family-name: Garfinkel
full-name: S Garfinkel
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/211
has-isbn-number: 0-521-62348-0
has-date: http://www.aktors.org/ontology/date#1998
has-edited-by: person-129
has-edited-by: person-382
has-page-numbers: ix-x
has-title: Modelling Systems: Practical Tools and Techniques in Software Development
published-by: Cambridge University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/126
has-isbn-number: 0-85224-234-4
has-date: http://www.aktors.org/ontology/date#1972
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c964a0b5
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f8b671bc
has-page-numbers: 3-20
has-title: Machine Intelligence, 7
published-by: Edinburgh University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/a1e6eafd
family-name: Yakovlev
full-name: A Yakovlev
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/39
has-isbn-number: 0-198-5335-43
has-date: http://www.aktors.org/ontology/date#1982
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0c5aceb3
has-edited-by: person-8
has-page-numbers: 187-194
has-title: The Numerical Solution of Nonlinear Problems
published-by: Clarendon Press, Oxford
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/8f53bd6a
family-name: Dony
full-name: C Dony
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/84820955
family-name: Damski
full-name: J C B & Narayanan N H Damski
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/bbf65f22
family-name: Sullivan
full-name: D A Sullivan
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/9
has-isbn-number: 0-19-853813-8
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/7c5f6ef4
has-date: http://www.aktors.org/ontology/date#1992
has-title: An Introduction to Systolic Algorithm Design
published-by: Oxford University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/948e432e
family-name: Griss
full-name: M Griss
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/3b12994f
family-name: Nehmer
full-name: J Nehmer
given-name: J
type: Person

Newcastle University : newcastle-books.rdf
creator: Ashley D J Walker
creator: ReSIST Project
description: This ontology contains information detailing books written by members of staff from Newcastle University
type: Ontology
imports: extension
imports: portal

http://newcastle.rkbexplorer.com/id/people/unknown/8e7da354
family-name: Abdallah
full-name: A E Abdallah
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/570d2b87
family-name: Zimmerman
full-name: C Zimmerman
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/253
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/a92cc622
published-by: Springer
type: Book-Reference
has-date: http://www.aktors.org/ontology/date#2004
has-page-numbers: 1-10
has-isbn-number: 3-540-22405-X
has-volume: 3013
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/aa10679e
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/67d1fffb
has-title: Object-Oriented Technology: ECOOP 2003 Workshop Reader, ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003.

http://newcastle.rkbexplorer.com/id/publications/books/168
has-isbn-number: 3-540-13378-X
has-date: http://www.aktors.org/ontology/date#1984
has-edited-by: person-59
has-title: Programming Languages and Their Definition - Selected Papers of Hans Bekic (1936-1982)
has-volume: 177
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/223
has-isbn-number: 0-12-521533-9
has-date: http://www.aktors.org/ontology/date#2003
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/179eb153
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ee592905
has-page-numbers: 337-367
has-title: Functional Microbial Genomics
has-volume: 33
published-by: Academic Press
type: Book-Reference

http://www.aktors.org/ontology/date#2002
has-pretty-name: 2002
year-of: 2002
type: Calendar-Date

http://www.aktors.org/ontology/date#1972
has-pretty-name: 1972
year-of: 1972
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/10
has-isbn-number: 0-521-33992-8
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/ef4f80ca
has-date: http://www.aktors.org/ontology/date#1990
has-title: The Principles of Computer Networking
has-volume: 25
published-by: Cambridge University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/138
has-page-numbers: 29-43
published-by: Collins
has-date: http://www.aktors.org/ontology/date#1990
has-isbn-number: 0-471-85426-3
has-volume: 2
type: Book-Reference
has-edited-by: person-10
has-title: Resilient Computing Systems
has-isbn-number: 0-00-383039-X
has-page-numbers: 64-77
has-date: http://www.aktors.org/ontology/date#1985
published-by: Collins & Wiley

http://newcastle.rkbexplorer.com/id/people/unknown/efeb20d0
family-name: Gries
full-name: D Gries
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/aa10679e
family-name: Buschmann
full-name: F Buschmann
given-name: F
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/9e715190
family-name: Tsubota
full-name: K Tsubota
given-name: K
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/0c5aceb3
family-name: Baker
full-name: C T H Baker
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/82
has-isbn-number: 9-051-99385-4
has-date: http://www.aktors.org/ontology/date#1997
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/101f5489
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/a793a2f1
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/bede283c
has-page-numbers: 242-247
has-title: Advances in Information Technologies, The Business Challenge
published-by: IOS Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/acc15bc2
family-name: Kowalik
full-name: J S Kowalik
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/23d1290f
family-name: Perrot
full-name: M Perrot
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/905b8ead
family-name: Wellington
full-name: E M H Wellington
given-name: E
type: Person

http://www.aktors.org/ontology/date#1984
has-pretty-name: 1984
year-of: 1984
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/22
has-isbn-number: 0-632-02054-7
has-author: person-10
has-date: http://www.aktors.org/ontology/date#1989
has-title: Dependability of Resilient Computers
published-by: Blackwell Scientific, Oxford
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/e39c6809
family-name: Naur
full-name: P Naur
given-name: P
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/829f5db5
family-name: Pernici
full-name: B and Yang J (Eds ) Pernici
given-name: B
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/dae11886
family-name: Jain
full-name: L C Jain
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/c6d2ed20
family-name: Gomes
full-name: L Gomes
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/277
has-isbn-number: 0-596-00827-9
has-date: http://www.aktors.org/ontology/date#2005
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0055a438
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/697f5387
has-page-numbers: 129-142
has-title: Security and Usability: Designing Secure Systems that People Can Use
published-by: O'Reilly
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/247
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/43a83653
has-volume: 2512
has-title: Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002. Revised papers
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/5c998726
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c213c028
has-page-numbers: 1-11
has-isbn-number: 3-540-00198-0
type: Book-Reference
published-by: Springer-Verlag
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b7fc5ad5
has-date: http://www.aktors.org/ontology/date#2002
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/829f5db5

http://www.aktors.org/ontology/date#1996
has-pretty-name: 1996
year-of: 1996
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/121
has-isbn-number: 3-540-11319-3
has-date: http://www.aktors.org/ontology/date#1982
has-edited-by: person-4
has-title: The Origins of Digital Computers: Selected Papers (3rd ed.)
has-volume: 580
published-by: Springer-Verlag, Heidelberg
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/4e87aeb0
family-name: Freeman
full-name: T L Freeman
given-name: T
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/4
has-author: person-129
has-date: http://www.aktors.org/ontology/date#1994
has-title: Proof in VDM: A Practitioner's Guide
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/2865ee44
has-edited-by: person-129
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/45d78b09
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/2865ee44
published-by: Springer-Verlag
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/45d78b09
has-isbn-number: 3-540-19813-X
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/217
has-isbn-number: 1-85775-595-2
has-date: http://www.aktors.org/ontology/date#2002
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0b71d39c
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/30c199f2
has-title: e-Clinical Governance: a guide for Primary Care
published-by: Radcliffe Medical Press, Oxford
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/193
has-author: person-4
has-date: http://www.aktors.org/ontology/date#1970
has-title: The Gentle Art of Programming: Inaugural Lecture, University of Newcastle upon Tyne
published-by: University of Newcastle upon Tyne
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/43a83653
family-name: McIlraith
full-name: S McIlraith
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/f34b4694
family-name: Gorrieri
full-name: R Gorrieri
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/289
has-title: Intelligent Virtual Agents: 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005
published-by: Springer
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c73dff75
has-date: http://www.aktors.org/ontology/date#2005
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/dae08ba4
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0472e11c
has-volume: 3661
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/768a035b
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b7fe6029
has-edited-by: person-383
has-isbn-number: 3-540-28738-8

http://newcastle.rkbexplorer.com/id/people/unknown/6295bb48
family-name: Camargo
full-name: J B (Eds ) Camargo
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/163
has-isbn-number: 0-521-23885-4
has-author: person-12
has-date: http://www.aktors.org/ontology/date#1982
has-title: Simulation Techniques for Discrete Event Systems
has-volume: 14
published-by: Cambridge University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/8ecb53c1
family-name: Thakkar
full-name: S S Thakkar
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/259
has-isbn-number: 1-4020-8152-9
has-date: http://www.aktors.org/ontology/date#2004
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/2d8aa966
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/edadc994
has-page-numbers: 45-60
has-title: Human Error, Safety and Systems Development
has-volume: 152
published-by: Kluwer Academic
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/133
has-abstract: In October 1975, after an official silence lasting thirty-two years, the British Government made a set of captioned photographs of COLOSSUS available at the Public Record Office, These confirm that a series of programmable electronic digital computers was built in Britain during World War II, the first being operational in 1943. It is stated that COLOSSUS incorporated 1500 valves, and operated in parallel arithmetic mode at 5000 pulses/sec. A number of its features are disclosed, including the fact that it had 5000 character/sec punched paper tape inputs, electronic circuits for counting, binary arithmetic and Boolean logic operations, "electronic storage registers changeable by an automatically controlled. sequence of operations", "conditional (branching) logic", "logic functions pre-set by patch-panels or switches, or conditionally selected by telephone relays", and typewriter output. Professor M. H. A. Newman is named as being responsible for formulating the requirement for COLOSSUS, and Mr. T. H. Flowers as leading the team which developed the machine. An indication is given that the design of COLOSSUS was influenced by the prewar work on computability by Alan Turing, who was employed in the same department of the British Government as Newman. The partial relaxation of the official secrecy surrounding COLOSSUS has made it possible to obtain interviews with a number of people involved in the project. This paper is in the main based on these interviews, and is supplemented by material already in the public domain. It attempts to document as fully as is now permissible the story of the development of COLOSSUS. Particular attention is paid to interactions between the COLOSSUS project and other work carried out elsewhere on digital techniques and computers, and to the role that those involved with COLOSSUS played in postwar computer developments in Britain. Details are given of the careers of the people involved, of how the basic concept of COLOSSUS was arrived at, a…
has-isbn-number: 0-12-491650-3
has-date: http://www.aktors.org/ontology/date#1980
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/3f3f04a0
has-page-numbers: 47-92
has-title: A History of Computing in the Twentieth Century
published-by: Academic Press, New York
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/46
has-isbn-number: 3-540-76226-4
has-date: http://www.aktors.org/ontology/date#1999
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/165c21bc
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/a1f13b9c
has-page-numbers: 563-581
has-title: High-Integrity System Specification and Design
published-by: Springer-Verlag, London
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/16
has-isbn-number: 0-41272-150-3
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/ce7c05e1
has-author: person-8
has-date: http://www.aktors.org/ontology/date#1997
has-title: Numerical Methods with Worked Examples
published-by: Chapman and Hall
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/d5fbf663
family-name: Plotkin
full-name: G D Plotkin
given-name: G
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/d91a1a08
family-name: Clarke
full-name: K Clarke
given-name: K
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/6a7534cd
family-name: Howlett
full-name: R J Howlett
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/103
has-isbn-number: 3-211-82481-2
has-date: http://www.aktors.org/ontology/date#1993
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/4f489f38
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/87697d65
has-edited-by: person-4
has-title: Dependable Computing for Critical Applications: 3
has-volume: 3
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/229
has-isbn-number: 1-55581-128-0
has-date: http://www.aktors.org/ontology/date#1999
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/9a6d3844
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/daa3626d
has-page-numbers: 392-416
has-title: Manual of Industrial Microbiology and Biotechnology (2nd Edition)
published-by: American Society for Microbiology (ASM) Press
type: Book-Reference

http://www.aktors.org/ontology/date#1978
has-pretty-name: 1978
year-of: 1978
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/2d9f1cb0
family-name: Rubino
full-name: G Rubino
given-name: G
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/290
has-isbn-number: 3-540-25813-2
has-date: http://www.aktors.org/ontology/date#2005
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/8e7da354
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/fd2df28b
has-edited-by: person-59
has-title: Communicating Sequential Processes: the First 25 years. Symposium on the occasion of 25 years of CSP, London, UK, July 7-8, 2004
has-volume: 3525
published-by: Springer
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/72153964
family-name: Butz
full-name: A Butz
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/0f5e0bb1
family-name: Russell
full-name: L J Russell
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/260
has-isbn-number: 1-85233-242-5
has-date: http://www.aktors.org/ontology/date#2002
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/7144eef6
has-edited-by: person-383
has-title: Diagrammatic Representation and Reasoning
published-by: Springer
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/7144eef6
family-name: Anderson
full-name: M Meyer B Anderson
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/88
has-isbn-number: 3-790-81367-2
has-date: http://www.aktors.org/ontology/date#2001
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/6a7534cd
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/dae11886
has-page-numbers: 67-94
has-title: Radial Basis Function Networks 1: Recent Developments in Theory and Algorithms
has-volume: 66
published-by: Physica-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/4bc1e6b9
family-name: Holvoet
full-name: T Holvoet
given-name: T
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/58
has-isbn-number: 3-540-18086-9
has-date: http://www.aktors.org/ontology/date#1987
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/b10d0a7d
has-page-numbers: 179-190
has-title: Advances in Petri Nets 1986
has-volume: 266
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/c78894e0
family-name: Calder
full-name: N Calder
given-name: N
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/7c21fee9
family-name: Rattray
full-name: C Rattray
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/6803ef2e
family-name: van Steen
full-name: M van Steen
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/115
has-isbn-number: 0-387-57767-X
has-date: http://www.aktors.org/ontology/date#1994
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/9b09c1a3
has-edited-by: person-29
has-page-numbers: 171-181
has-title: Hardware and Software Architectures for Fault Tolerance
has-volume: 774
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/5f546592
family-name: Krakowiak
full-name: S Krakowiak
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/a1f13b9c
family-name: Hinchey
full-name: M G Hinchey
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/671fb06d
family-name: Christensen
full-name: J Christensen
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/272
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/94d82d3f
has-title: Validated Designs for Object-oriented Systems
has-date: http://www.aktors.org/ontology/date#2005
published-by: Springer -Verlag
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/32f61568
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/7c80db89
has-author: person-382
has-isbn-number: 1-85233-881-4
type: Book-Reference
has-web-address: http://www.vdmbook.com
has-author: person-129

http://newcastle.rkbexplorer.com/id/people/unknown/5fa20c43
family-name: Dumas
full-name: M Dumas
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/b10d0a7d
family-name: Rozenberg
full-name: G (Eds ) Rozenberg
full-name: G Rozenberg
given-name: G
type: Person

http://www.aktors.org/ontology/date#1991
has-pretty-name: 1991
year-of: 1991
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/people/unknown/dae08ba4
family-name: Panayiotopoulos
full-name: T Panayiotopoulos
given-name: T
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/f10fba30
family-name: Auerbach
full-name: I (ed ) Auerbach
given-name: I
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/3683b006
family-name: Babaoglu
full-name: O Babaoglu
given-name: O
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/212
has-isbn-number: 3-7029-0208-2
has-date: http://www.aktors.org/ontology/date#1985
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ddaf97e2
has-title: Heinz Zemanek - ein Computerpionier
has-volume: 27
published-by: R. Oldenbourg Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/127
has-isbn-number: 0-12-350650-6
has-date: http://www.aktors.org/ontology/date#1972
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0b2c5f8c
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/5b6f8ad6
has-page-numbers: 152-167
has-title: Operating Systems Techniques
has-volume: 9
published-by: Academic Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/a9cfc7ea
family-name: Fry
full-name: J C Fry
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/165c21bc
family-name: Bowen
full-name: J P Bowen
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/284
has-isbn-number: 0-387-24434-4
has-date: http://www.aktors.org/ontology/date#2006
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/04e81ec8
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/05175966
has-page-numbers: 21-36
has-title: New Horizons of Parallel and Distributed Computing
published-by: Springer
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/a8d08cb7
family-name: Nebeker
full-name: F (ed ) Nebeker
given-name: F
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/1b24d3d6
family-name: Guelfi
full-name: N Guelfi
given-name: N
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/cf5085e3
family-name: Pedersen
full-name: D E Pedersen
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/169
has-isbn-number: 0-13-284027-8
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/0b2c5f8c
has-author: person-59
has-date: http://www.aktors.org/ontology/date#1989
has-title: Essays in Computing Science
published-by: Prentice Hall International
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/6d859cfb
family-name: Meek
full-name: C L Meek
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/7c80db89
family-name: Plat
full-name: N Plat
given-name: N
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/99a180a2
family-name: Goldsmith
full-name: M H Goldsmith
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/34b9cdc8
family-name: Sudweeks
full-name: F Sudweeks
given-name: F
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/5044af1e
family-name: van Gasteren
full-name: A J M van Gasteren
given-name: A
type: Person

http://www.aktors.org/ontology/date#2003
has-pretty-name: 2003
year-of: 2003
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/11
has-isbn-number: 0-521-32796-2
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/aaf30f73
has-date: http://www.aktors.org/ontology/date#1992
has-title: Concurrent Programming
has-volume: 26
published-by: Cambridge University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/139
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/efeb20d0
published-by: Springer-Verlag, New York
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c916abfa
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/5044af1e
has-date: http://www.aktors.org/ontology/date#1990
has-title: Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra
type: Book-Reference
has-page-numbers: ix-xi
has-isbn-number: 0-387-97299-4
has-volume: 453
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/5b7a7b11

http://newcastle.rkbexplorer.com/id/people/unknown/d56c92e7
family-name: Bland
full-name: R Bland
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/dd55088d
family-name: Krüger
full-name: A Krüger
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/296
has-isbn-number: 3-540-34145-5
has-date: http://www.aktors.org/ontology/date#2006
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/e337f9d2
has-edited-by: person-387
has-title: Interactive Systems: Design Specification and Verification. 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
has-volume: 3941
published-by: Springer
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/170
has-isbn-number: 0-387-95349-3
has-date: http://www.aktors.org/ontology/date#2003
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/5350760a
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/782d1776
has-page-numbers: 1-15
has-title: Programming Methodology
published-by: Springer-Verlag
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/1554a841
family-name: Rouncefield
full-name: M Rouncefield
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/140
has-isbn-number: 0-674-15626-9
has-date: http://www.aktors.org/ontology/date#1990
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/29c79450
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/fac0419a
has-page-numbers: 161-163
has-title: A Computer Perspective: Background to the Computer Age
published-by: Harvard Univ. Press, Cambridge, MA
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/49c46dc2
family-name: Ringland
full-name: G Ringland
given-name: G
type: Person

http://www.aktors.org/ontology/date#1985
has-pretty-name: 1985
year-of: 1985
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/23
has-isbn-number: 0-632-01819-4
has-date: http://www.aktors.org/ontology/date#1987
has-edited-by: person-10
has-title: Safe and Secure Computing Systems
published-by: Blackwell Scientific, Oxford
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/7046cd63
family-name: Haverkort
full-name: B R Haverkort
given-name: B
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/206
has-isbn-number: 0-408-03981-7
has-date: http://www.aktors.org/ontology/date#1989
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0787078b
has-page-numbers: 79-89
has-title: The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems
published-by: Butterworths
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/e5ce1783
family-name: McGettrick
full-name: A D McGettrick
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/95
has-isbn-number: 0-521-46085-9
has-date: http://www.aktors.org/ontology/date#1996
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/112dd5f2
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/652f3f80
has-page-numbers: 127-157
has-title: Computing Tomorrow: Future research directions in computer science
published-by: Cambridge University Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/b7fe6029
family-name: Rist
full-name: T Rist
given-name: T
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/4da173c6
family-name: Bain
full-name: M Bain
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/ef7022ba
family-name: Coventry
full-name: K R Coventry
given-name: K
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/ef4f80ca
family-name: Russell
full-name: D M Russell
given-name: D
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/152
has-isbn-number: 0-8186-0759-9
has-date: http://www.aktors.org/ontology/date#1987
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/8ecb53c1
has-title: Selected Reprints on Dataflow and Reduction Architectures
published-by: IEEE Computer Society Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/b06f50ae
family-name: Flynn
full-name: M J Flynn
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/9a6d3844
family-name: Demain
full-name: A L Demain
given-name: A
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/248
has-date: http://www.aktors.org/ontology/date#2003
has-volume: 2847
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/63426f21
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/6295bb48
has-page-numbers: 4-7
published-by: Springer-Verlag
has-title: Dependable Computing. First Latin American Symposium , LADC 2003, Sao Paulo, Brazil, October 21-24,2003
has-isbn-number: 3-540-20224-2
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/8b4ae52a

http://www.aktors.org/ontology/date#1997
has-pretty-name: 1997
year-of: 1997
type: Calendar-Date

http://newcastle.rkbexplorer.com/id/publications/books/122
has-isbn-number: 0-88405-334-2
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/388dbdc7
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/e39c6809
has-author: person-4
has-date: http://www.aktors.org/ontology/date#1976
has-title: Software Engineering: Concepts and Techniques
published-by: Petrocelli/Charter, New York
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/0024774d
family-name: Laprie
full-name: J C Laprie
full-name: JC Laprie
given-name: J
given-name: JC
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/263470fe
family-name: Sussman
full-name: M Sussman
given-name: M
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/b19912c2
family-name: Castro
full-name: J Castro
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/5
has-isbn-number: 0-13-651597-5
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/4e87aeb0
has-author: person-8
has-date: http://www.aktors.org/ontology/date#1992
has-title: Parallel Numerical Algorithms
published-by: Prentice Hall, New York
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/30c199f2
family-name: Robinson
full-name: R Robinson
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/194
has-isbn-number: 0-8493-2663-X
has-date: http://www.aktors.org/ontology/date#1996
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/570d2b87
has-title: Advances in Object-Oriented Metalevel Architectures and Reflection
published-by: CRC Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/164
has-isbn-number: 0-408-02506-9
has-isbn-number: 0-750-61040-9
has-date: http://www.aktors.org/ontology/date#1991
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0787078b
has-title: Software Engineer's Reference Book
published-by: Butterworth-Heinemann
published-by: Butterworths
type: Book-Reference

http://newcastle.rkbexplorer.com/id/publications/books/77
has-isbn-number: 0-632-01309-5
has-date: http://www.aktors.org/ontology/date#1994
has-edited-by: person-10
has-title: Software Requirements, Specification and Testing
published-by: Blackwell Scientific
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/ad5799dc
family-name: van Elsas
full-name: J D van Elsas
given-name: J
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/b100a664
family-name: Dale
full-name: C J Dale
given-name: C
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/e337f9d2
family-name: Gilroy
full-name: S W Gilroy
given-name: S
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/d4b73f26
family-name: Berman
full-name: F Berman
given-name: F
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/8f46cd4d
family-name: Cornelius
full-name: B J Cornelius
given-name: B
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/134
has-date: http://www.aktors.org/ontology/date#1985
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f8dc2474
has-page-numbers: 13-25
has-title: The Research and Academic Users Guide to the IBM Personal Computer
published-by: IBM United Kingdom Limited
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/697f5387
family-name: Cranor
full-name: L F Cranor
given-name: L
type: Person

http://newcastle.rkbexplorer.com/id/publications/books/47
has-isbn-number: 0-262-16188-5
has-date: http://www.aktors.org/ontology/date#2000
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/05b6dd9a
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/d5fbf663
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/f5990374
has-page-numbers: 277-307
has-title: Proof, Language and Interaction: Essays in Honour of Robin Milner
published-by: MIT Press
type: Book-Reference

http://newcastle.rkbexplorer.com/id/people/unknown/112dd5f2
family-name: Milner
full-name: R Milner
given-name: R
type: Person

http://newcastle.rkbexplorer.com/id/people/unknown/ddaf97e2
family-name: Chroust
full-name: G Chroust
given-name: G
type: Person