Modelling and verification of an atomic action protocol implemented in Ada Conferences

authors

• Burns, A
• Wellings, AJ
• Burns, F
• Koelmans, AM
• Koutny, Maciej
• Romanovsky, A
• Yakovlev, A

status

• published 

publication date

• May 1, 2001

has subject area

• 0805 Distributed Computing (FoR)
• Information Systems (Science Metrix)

published in

• Computer Systems Science and Engineering  Journal

presented at event

• 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000)  Conference

keywords

• ALGEBRA
• Ada 95
• CHECKING
• Computer Science
• Computer Science, Hardware & Architecture
• Computer Science, Theory & Methods
• Petri nets
• Science & Technology
• Technology
• atomic action protocol

start page

• 173

end page

• 182

volume

• 16

issue

• 3