Suchergebnisse - Meinicke, Larissa A.

1

Specifying and Reasoning About Shared-Variable Concurrency von Hayes, Ian J., Jones, Cliff B., Meinicke, Larissa A.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency von Hayes, Ian J., Meinicke, Larissa A., Winter, Kirsten, Colvin, Robert J.

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Designing a semantic model for a wide-spectrum language with concurrency von Colvin, Robert J., Hayes, Ian J., Meinicke, Larissa A.

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Restructuring a Concurrent Refinement Algebra von Hayes, Ian J., Meinicke, Larissa A., Evangelou-Oost, Naso

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Linking Unifying Theories of Program refinement von Hayes, Ian J., Dunne, Steve E., Meinicke, Larissa A.

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges von Hayes, Ian J., Meinicke, Larissa A.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Reasoning about distributive laws in a concurrent refinement algebra von Meinicke, Larissa A, Hayes, Ian J

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Encoding Fairness in a Synchronous Concurrent Program Algebra von Hayes, Ian J., Meinicke, Larissa A.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Handling expression evaluation under interference von Hayes, Ian J, Jones, Cliff B, Meinicke, Larissa A

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

An Algebra of Synchronous Atomic Steps von Hayes, Ian J., Colvin, Robert J., Meinicke, Larissa A., Winter, Kirsten, Velykis, Andrius

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Data reification in a concurrent rely-guarantee algebra von Meinicke, Larissa A, Hayes, Ian J, Jones, Cliff B

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Restructuring a concurrent refinement algebra von Hayes, Ian J, Meinicke, Larissa A, Evangelou-Oost, Naso

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Capabilities for Java: Secure Access to Resources von Hayes, Ian J., Wu, Xi, Meinicke, Larissa A.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Type Capabilities for Object-Oriented Programming Languages von Wu, Xi, Lu, Yi, Meiring, Patrick A., Hayes, Ian J., Meinicke, Larissa A.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Reasoning About Distributive Laws in a Concurrent Refinement Algebra von Meinicke, Larissa A., Hayes, Ian J.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods von Katoen, Joost-Pieter, McIver, Annabelle K., Meinicke, Larissa A., Morgan, Carroll C.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Reasoning about distributive laws in a concurrent refinement algebra von Meinicke, Larissa A, Hayes, Ian J

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style von Hayes, Ian J, Meinicke, Larissa A, Meiring, Patrick A

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Handling localisation in rely/guarantee concurrency: An algebraic approach von Meinicke, Larissa A, Hayes, Ian J

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Handling expression evaluation under interference von Hayes, Ian J, Jones, Cliff B, Meinicke, Larissa A

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Specifying and Reasoning About Shared-Variable Concurrency von Hayes, Ian J., Jones, Cliff B., Meinicke, Larissa A.

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency von Hayes, Ian J., Meinicke, Larissa A., Winter, Kirsten, Colvin, Robert J.

Designing a semantic model for a wide-spectrum language with concurrency von Colvin, Robert J., Hayes, Ian J., Meinicke, Larissa A.

Restructuring a Concurrent Refinement Algebra von Hayes, Ian J., Meinicke, Larissa A., Evangelou-Oost, Naso

Linking Unifying Theories of Program refinement von Hayes, Ian J., Dunne, Steve E., Meinicke, Larissa A.

Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges von Hayes, Ian J., Meinicke, Larissa A.

Reasoning about distributive laws in a concurrent refinement algebra von Meinicke, Larissa A, Hayes, Ian J

Encoding Fairness in a Synchronous Concurrent Program Algebra von Hayes, Ian J., Meinicke, Larissa A.

Handling expression evaluation under interference von Hayes, Ian J, Jones, Cliff B, Meinicke, Larissa A

An Algebra of Synchronous Atomic Steps von Hayes, Ian J., Colvin, Robert J., Meinicke, Larissa A., Winter, Kirsten, Velykis, Andrius

Data reification in a concurrent rely-guarantee algebra von Meinicke, Larissa A, Hayes, Ian J, Jones, Cliff B

Restructuring a concurrent refinement algebra von Hayes, Ian J, Meinicke, Larissa A, Evangelou-Oost, Naso

Capabilities for Java: Secure Access to Resources von Hayes, Ian J., Wu, Xi, Meinicke, Larissa A.

Type Capabilities for Object-Oriented Programming Languages von Wu, Xi, Lu, Yi, Meiring, Patrick A., Hayes, Ian J., Meinicke, Larissa A.

Reasoning About Distributive Laws in a Concurrent Refinement Algebra von Meinicke, Larissa A., Hayes, Ian J.

Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods von Katoen, Joost-Pieter, McIver, Annabelle K., Meinicke, Larissa A., Morgan, Carroll C.

Reasoning about distributive laws in a concurrent refinement algebra von Meinicke, Larissa A, Hayes, Ian J

Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style von Hayes, Ian J, Meinicke, Larissa A, Meiring, Patrick A

Handling localisation in rely/guarantee concurrency: An algebraic approach von Meinicke, Larissa A, Hayes, Ian J

Handling expression evaluation under interference von Hayes, Ian J, Jones, Cliff B, Meinicke, Larissa A

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle