|
4
|
Specifying Business Processes over Objects
– P Hartel, R Jungclaus
- 1994
|
|
18
|
Application Modelling in Heterogeneous Environments using an Object Specification Language
– Gunter Saake, Ralf Jungclaus, Thorsten Hartmann
- 1993
|
|
6
|
Models and Logics for True Concurrency
– Kamal Lodaya, Madhavan Mukund, R. Ramanujam, P. S. Thiagarajan
- 1990
|
|
3
|
Object-Oriented Design of Information Systems: TROLL Language Features
– G Saake, T Hartmann, R Jungclaus, H-D Ehrich
- 1994
|
|
5
|
Elements of a temporal logic coping with concurrency
– W Reisig
- 1992
|
|
4
|
A Validation System for Object-Oriented Specifications of Information Systems
– A Grau, M Kowsari
- 1997
|
|
1
|
Parameterisation of logics. Research report
– C Caleiro, C Sernadas, A Sernadas
- 1998
|
|
1
|
All from one and one from all: on model checking using representatives
– D Peleg
- 1993
|
|
5
|
Tableau Methods for Formal Verification of Multi-Agent Distributed Systems
– Fabio Massacci
- 1998
|
|
8
|
Synchronization of Logics
– Amílcar Sernadas, Cristina Sernadas, Cristina Caleiro
- 1996
|
|
9
|
Synchronization of Logics with Mixed Rules: Completeness Preservation
– Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
- 1997
|
|
14
|
Categorial Fibring of Logics with Terms and Binding Operators
– Amilcar Sernadas , Cristina Sernadas, Carlos Caleiro, Till Mossakowski
- 1998
|
|
5
|
A Linear Temporal Logic Approach to Objects with Transactions
– Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
- 1997
|
|
8
|
A Formal Agent-Oriented Requirements Language for Distributed Composite Systems
– Du Bois, M Petit, S Wu
- 1994
|
|
11
|
Branching Time and Partial Order in Temporal Logics
– Wojciech Penczek
- 1995
|
|
13
|
Troll { An Object Oriented Formal Method for Distributed
– G Denker, P Hartel
- 1997
|
|
4
|
Filipe. Putting Synchronous and Asynchronous Object Modules together: an Event-Based Model for Concurrent Composition
– J Kuster
- 1997
|
|
14
|
A Modal Logic for a Subclass of Event Structures
– K Lodaya, P S Thiagarajan
- 1987
|
|
12
|
Konzeptionelle Modellierung von Informationssystemen als verteilte Objektsysteme
– P Hartel
- 1996
|
