Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Sekerinski, Emil - Department of Computing and Software, McMaster University
Fundamenta Informaticae 34 (2000) 137 1 A Foundation for Refining Concurrent Objects
Formal Methods and Object Technol A TypeTheoretic Basis for an ObjectOriented
A Calculus for Predicative Programming Emil Sekerinski
Under consideration for publication in Formal Aspects of Computing Exploring Tabular Verification and
Translating Statecharts to B Emil Sekerinski and Rafik Zurob
Addendum to Stepwise Refinement of Control Software A Case Study Using RAISE
Graphical Design of Reactive Systems Emil Sekerinski
ActionBased Concurrency and Synchronization for Objects #
On Guarded Commands with Fair Choice Emil Sekerinski
Addendum to Stepwise Refinement of Control Software A Case Study Using RAISE
iState: A Statechart Translator Emil Sekerinski and Rafik Zurob
A Study of The Fragile Base Class Problem Leonid Mikhajlov1 and Emil Sekerinski2
Electronic Notes in Theoretical Computer Science 70 No. 3 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 20 pages
Concurrent ObjectOriented Programs: From Specification to Code #
Verification and Refinement with Fine-Grained Action-Based Concurrent
Verifying Statecharts with State Invariants Emil Sekerinski
Action-Based Concurrency and Synchronization for Objects
Translating Statecharts to B Emil Sekerinski and Rafik Zurob
iState: A Statechart Translator Emil Sekerinski and Rafik Zurob
A Calculus for Predicative Programming Emil Sekerinski
Concurrent Object-Oriented Programs: From Specification to Code
Stepwise Refinement of Control Software A Case Study Using RAISE ?
Under consideration for publication in Formal Aspects of Computing Exploring Tabular Verification and
Graphical Design of Reactive Systems \Lambda Emil Sekerinski
Developing Components in the Presence of Re-entrance
A Study of The Fragile Base Class Problem Leonid Mikhajlov 1 and Emil Sekerinski 2
Addendum to Stepwise Refinement of Control Software A Case Study Using RAISE
Fundamenta Informaticae 34 (2000) 1--37 1 A Foundation for Refining Concurrent Objects
CONTROL SYSTEMS AS ACTION SYSTEMS M. Ronkko 1 E. Sekerinski 2 K. Sere 3
1 Introduction refinement parallel
Foundations of the Trace Assertion Method of Module Interface Specification #
Emil Sekerinski Department of Computing and Software
Foundations of the Trace Assertion Method of Module Interface Specification
