A formal approach to determining parallel resource bindings: experience report

Authors:
John A. Keane;Walter Hussak
Affiliations:
Centre for Novel Computing, Department of Computer Science, The University, Manchester, UK;Department of Computer Studies, University of Technology, Loughborough, UK
Venue:
ICSE '94 Proceedings of the 16th international conference on Software engineering
Year:
1994

Citing 4
Cited 1

Names and name resolution

Concurrency control and reliability in distributed systems
Names

Distributed systems
METATEM: a framework for programming in temporal logic

REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
The concurrency workbench: a semantics-based tool for the verification of concurrent systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

A Design Phase Directed Formal Verification Process

Software Quality Control

Quantified Score

Hi-index	0.00

Visualization

Abstract