Low yield of rule-out myocardial infarction protocol in patients presenting with syncope von Link, Mark S, Lauer, Eugene P, Homoud, Munther K, Wang, Paul J, Estes, N.A.Mark

Volltext

Towards an axiomatization of value theory von Lauer, P. E.

Volltext

Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada von Lauer, Peter E

Volltext

Concurrent and maximally concurrent evolution of nonsequential systems von Janicki, Ryszard, Lauer, Peter E., Koutny, Maciej, Devillers, Raymond

Volltext

A simple railway system von Lauer, P. E.

Volltext

Verifying concurrent system specifications in COSY von Shields, M. W., Lauer, P. E.

Volltext

A formal semantics for concurrent systems von Shields, M. W., Lauer, P. E.

Volltext

On the abstract specification and formal analysis of synchronization properties of concurrent systems von Shields, M. W., Lauer, P. E.

Volltext

Two way channel with disconnect von Cotronis, J. Y., Lauer, P. E.

Volltext

Design and analysis of highly parallel and distributed systems von Lauer, P. E., Shields, M. W., Best, E.

Volltext

Specification of highly parallel and distributed resource management von Lauer, P. E., Torrigiani, P. R., Devillers, R.

Volltext

COSY ? a system specification language based on paths and processes von Lauer, P.E., Torrigiani, P.R., Shields, M.W.

Volltext

Maximally concurrent evolution of non-sequential systems von Janicki, R., Lauer, P. E., Devillers, R.

Volltext

A general mechanism for avoiding starvation with distributed control von Devillers, R.E., Lauer, P.E.

Volltext

Formal behavioural specification of concurrent systems without globality assumptions von Lauer, P. E., Shields, M. W., Cotronis, J. Y.

Volltext

Consistent and complementary formal theories of the semantics of programming languages von Hoare, C.A.R., Lauer, P.E.

Volltext

Formal semantics of a class of high-level primitives for coordinating concurrent processes von Lauer, P.E., Campbell, R.H.

Volltext

Synchronization of concurrent processes without globality assumptions von Lauer, P. E.

Volltext

Synchronization of Concurrent Processes without Globality Assumptions von Lauer, P. E.

Volltext

Addenda and corrigenda von Lauer, P. E., Campbell, R. H.

Volltext