An Executable Structural Operational Semantics For Scoop


Loading...

Author / Producer

Date

2012

Publication Type

Master Thesis

ETH Bibliography

yes

Citations

Altmetric

Data

Publication status

published

External links

Editor

Book title

Journal / series

Volume

Pages / Article No.

Publisher

Eidgenössische Technische Hochschule Zürich, Informatik Computer Science

Event

Edition / version

Methods

Software

Geographic location

Date collected

Date created

Subject

PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS)

Organisational unit

03594 - Meyer, Bertrand (emeritus) check_circle

Notes

Master Thesis Eidgenössische Technische Hochschule Zürich, 2012.

Funding

Related publications and datasets