| Publication | Date of Publication | Type |
|---|
A theory of relaxed atomicity (extended abstract)
Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 | 2015-06-19 | Paper |
Overcoming heterogeneity and autonomy in multidatabase systems
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1179106 (Why is no real title available?) | 1998-07-26 | Paper |
A counter-example to an algorithm for the generalized input--output construct of CSP
Information Processing Letters | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 1033414 (Why is no real title available?) | 1997-07-14 | Paper |
| scientific article; zbMATH DE number 954015 (Why is no real title available?) | 1996-12-04 | Paper |
| scientific article; zbMATH DE number 571325 (Why is no real title available?) | 1994-05-24 | Paper |
Addendum to ``Null values in nested relational databases''
Acta Informatica | 1992-06-25 | Paper |
On the interconnection constants of Hopfield nets
Formal Aspects of Computing | 1990-01-01 | Paper |
Null values in nested relational databases
Acta Informatica | 1989-01-01 | Paper |
Extended algebra and calculus for nested relational databases
ACM Transactions on Database Systems | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3963224 (Why is no real title available?) | 1986-01-01 | Paper |
Mapping Homogeneous Graphs on Linear Arrays
IEEE Transactions on Computers | 1986-01-01 | Paper |
Beyond two-phase locking
Journal of the ACM | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3881904 (Why is no real title available?) | 1984-01-01 | Paper |
Compatibility and commutativity of lock modes
Information and Control | 1984-01-01 | Paper |
Cell: A Distributed Computing Modularization Concept
IEEE Transactions on Software Engineering | 1984-01-01 | Paper |
An Effective Implementation for the Generalized Input-Output Construct of CSP
ACM Transactions on Programming Languages and Systems | 1983-01-01 | Paper |
Locking Protocols
Journal of the ACM | 1983-01-01 | Paper |
Extending CSP to Allow Dynamic Resource Management
IEEE Transactions on Software Engineering | 1983-01-01 | Paper |
Access-Right Expressions
ACM Transactions on Programming Languages and Systems | 1983-01-01 | Paper |
A Family of Locking Protocols for Database Systems that Are Modeled by Directed Graphs
IEEE Transactions on Software Engineering | 1982-01-01 | Paper |
On the Static Access-Control Mechanism in Concurrent Pascal
The Computer Journal | 1982-01-01 | Paper |
Priority and Queuing Specification in 'Distributed Processes'
The Computer Journal | 1982-01-01 | Paper |
A characterization of database graphs admitting a simple locking protocol
Acta Informatica | 1981-01-01 | Paper |
Consistency in Hierarchical Database Systems
Journal of the ACM | 1980-01-01 | Paper |
Comments on “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems | 1979-01-01 | Paper |
Communication and Synchronization in Distributed Systems
IEEE Transactions on Software Engineering | 1979-01-01 | Paper |
Remarks on ''Some comments on concurrent readers and writers'' by Reidar Conradi
Acta Informatica | 1978-01-01 | Paper |
Conditions for the Equivalence of Synchronous and Asynchronous Systems
IEEE Transactions on Software Engineering | 1978-01-01 | Paper |
Capability Managers
IEEE Transactions on Software Engineering | 1978-01-01 | Paper |
Extending Concurrent Pascal to Allow Dynamic Resource Management
IEEE Transactions on Software Engineering | 1977-01-01 | Paper |
