Show simple item record

dc.contributor.author
Meyer, Bertrand
dc.contributor.author
Nienaltowski, Piotr
dc.contributor.author
Ostroff, Jonathan S.
dc.date.accessioned
2017-06-08T22:09:31Z
dc.date.available
2017-06-08T22:09:31Z
dc.date.issued
2009-08
dc.identifier.issn
0934-5043
dc.identifier.issn
1433-299X
dc.identifier.other
10.1007/s00165-007-0063-2
dc.identifier.uri
http://hdl.handle.net/20.500.11850/16573
dc.language.iso
en
dc.publisher
Springer International
dc.subject
Concurrency
dc.subject
Object-oriented programming
dc.subject
Design by contract
dc.subject
SCOOP
dc.subject
Software verification
dc.subject
Safety and liveness properties
dc.subject
Partial correctness
dc.title
Contracts for concurrency
dc.type
Journal Article
ethz.journal.title
Formal Aspects of Computing
ethz.journal.volume
21
ethz.journal.issue
4
ethz.journal.abbreviated
Form. asp. comput.
ethz.pages.start
305
ethz.pages.end
318
ethz.notes
Received 12 March 2007, Accepted 19 November 2007, Published online 4 January 2008.
ethz.identifier.wos
ethz.identifier.nebis
000503013
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.date.deposited
2017-06-08T22:09:42Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c6744c1170570
ethz.ecitpid
pub:28469
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-17T10:12:39Z
ethz.rosetta.lastUpdated
2021-02-14T05:50:54Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Contracts%20for%20concurrency&rft.jtitle=Formal%20Aspects%20of%20Computing&rft.date=2009-08&rft.volume=21&rft.issue=4&rft.spage=305&rft.epage=318&rft.issn=0934-5043&1433-299X&rft.au=Meyer,%20Bertrand&Nienaltowski,%20Piotr&Ostroff,%20Jonathan%20S.&rft.genre=article&rft_id=info:doi/10.1007/s00165-007-0063-2&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record