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

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-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/1554a841
has-title: Trust in Technology: a Socio-Technical Perspective
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
type: Thing
has-page-numbers: 217-221
has-isbn-number: 1-4020-4257-4
type: Book-Reference

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/30
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/764e7f95
published-by: Springer-Verlag, Brussels
type: Thing
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/people/unknown/743c1f17
family-name: Gorski
given-name: J
full-name: J Gorski
type: Person
type: Thing

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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: Thing
type: Book-Reference
has-volume: 4119

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

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

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

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

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

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

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

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

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

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

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

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
type: Thing
has-volume: 61
has-edited-by: person-59
has-page-numbers: 218-277

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

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

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
type: Thing
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
given-name: J
full-name: J Y Roger
type: Person
type: Thing

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

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

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

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

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

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

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

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

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

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

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

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
type: Thing

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

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

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

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

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

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

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

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

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

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-edited-by: person-76
has-web-address: http://homepages.cs.ncl.ac.uk/michael.harrison/papers/SujanSH05.pdf
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
type: Thing

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
type: Thing
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
given-name: C
full-name: C Bussler
type: Person
type: Thing

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).
type: Thing
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
published-by: Springer-Verlag
has-date: http://www.aktors.org/ontology/date#1992
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
year-of: 1987
has-pretty-name: 1987
type: Calendar-Date
type: Thing

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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: Thing
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
given-name: A
full-name: A McIver
type: Person
type: Thing

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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: Thing
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
given-name: T
full-name: T Silva Weber
type: Person
type: Thing

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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/f8b671bc
type: Thing
has-title: Machine Intelligence 4
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/c964a0b5
type: Book-Reference
published-by: Edinburgh University Press
has-page-numbers: 45-55

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/257
type: Thing
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/7c5f6ef4
family-name: Megson
given-name: G
full-name: G M Megson
type: Person
type: Thing

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

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/101
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/e352dae7
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-date: http://www.aktors.org/ontology/date#1994
type: Book-Reference
published-by: Wiley
has-isbn-number: 0-471-95068-8
type: Thing
has-page-numbers: 1-22
has-title: Software Fault Tolerance

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
type: Thing
has-volume: 196

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

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

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

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

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

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

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

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-page-numbers: 251-270
type: Thing
has-title: The Evolution of Fault-Tolerant Computing
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/51c10a1d
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/0024774d
published-by: Springer-Verlag
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/3eb3ae5a

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

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
type: Thing
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
given-name: A
full-name: A Tripathi
type: Person
type: Thing

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

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

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

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/149
has-volume: 774
type: Thing
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
type: Thing
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
given-name: P
full-name: P S C (eds) Alencar
type: Person
type: Thing

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/276
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: Thing
has-date: http://www.aktors.org/ontology/date#2005
has-page-numbers: 59-91
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ec4aa008
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/ce917cd8
has-isbn-number: 1-84542-177-9
has-title: Trust and Crime in Information Societies
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
type: Thing
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-edited-by: person-13
has-edited-by: person-21
published-by: Kluwer Academic Publishers, Boston
type: Thing
has-title: Concurrency in Dependable Computing
has-page-numbers: 3-22
type: Book-Reference
has-date: http://www.aktors.org/ontology/date#2002
has-isbn-number: 1-4020-7043-8
has-page-numbers: 41-59

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

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

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

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

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

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

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

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

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

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

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

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

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
type: Thing
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
published-by: Academic Press
has-isbn-number: 0-12-279350-1
has-title: Analysis and Synthesis of Computer Systems
has-date: http://www.aktors.org/ontology/date#1980
has-author: person-12
has-author: http://newcastle.rkbexplorer.com/id/people/unknown/24a4dd99
type: Book-Reference
type: Thing

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

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

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

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

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

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
type: Thing

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

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

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/102
published-by: IEEE Press
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/fc6b1ca8
has-isbn-number: 0-7923-8069-X
has-title: Fault-Tolerant Parallel and Distributed Systems
has-date: http://www.aktors.org/ontology/date#1994
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.
type: Book-Reference
type: Thing

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

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

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

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

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

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

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

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/144
published-by: Presses Universitaires de France, Paris
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
has-date: http://www.aktors.org/ontology/date#1996
type: Book-Reference
type: Thing

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

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/114
has-volume: 60
published-by: Springer-Verlag
has-isbn-number: 0-387-08755-9
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/4bd1a013
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
type: Thing
has-page-numbers: 283-393

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/138
published-by: Collins
has-page-numbers: 29-43
has-date: http://www.aktors.org/ontology/date#1990
has-isbn-number: 0-471-85426-3
has-volume: 2
type: Book-Reference
type: Thing
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
given-name: D
full-name: D Gries
type: Person
type: Thing

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
type: Thing
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
year-of: 1996
has-pretty-name: 1996
type: Calendar-Date
type: Thing

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

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

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

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

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

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

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
type: Thing
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
given-name: J
full-name: J B (Eds ) Camargo
type: Person
type: Thing

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

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/133
published-by: Academic Press, New York
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…
type: Thing
has-title: A History of Computing in the Twentieth Century
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/3f3f04a0
has-page-numbers: 47-92
has-date: http://www.aktors.org/ontology/date#1980
has-isbn-number: 0-12-491650-3

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

http://newcastle.rkbexplorer.com/id/publications/books/290
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-date: http://www.aktors.org/ontology/date#2005
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/8e7da354
type: Thing
published-by: Springer
has-isbn-number: 3-540-25813-2
has-volume: 3525
type: Book-Reference
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/fd2df28b

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
type: Thing
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
given-name: M
full-name: M Dumas
type: Person
type: Thing

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

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

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

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

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

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

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

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

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

http://newcastle.rkbexplorer.com/id/publications/books/284
has-date: http://www.aktors.org/ontology/date#2006
has-edited-by: http://newcastle.rkbexplorer.com/id/people/unknown/04e81ec8
type: Thing
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
has-isbn-number: 0-387-24434-4

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

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

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

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

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

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

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

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

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

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

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

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
type: Thing
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
given-name: R
full-name: R Bland
type: Person
type: Thing

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
type: Thing
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
year-of: 1997
has-pretty-name: 1997
type: Calendar-Date
type: Thing

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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