A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
dc.contributor.author
West, Scott
dc.contributor.author
Nanz, Sebastian
dc.contributor.editor
Meyer, Bertrand
dc.date.accessioned
2017-06-14T14:44:26Z
dc.date.available
2017-06-14T14:44:26Z
dc.date.issued
2010
dc.identifier.isbn
978-3-642-16900-7
dc.identifier.isbn
978-3-642-16901-4
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-642-16901-4_39
dc.identifier.uri
http://hdl.handle.net/20.500.11850/158436
dc.language.iso
en
dc.publisher
Springer
dc.title
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
dc.type
Conference Paper
ethz.book.title
Formal methods and software engineering
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
6447
ethz.journal.abbreviated
LNCS
ethz.pages.start
597
ethz.pages.end
612
ethz.event
12th International Conference on Formal Engineering Methods (ICFEM 2010)
ethz.event.location
Shanghai, China
ethz.event.date
November 16-19, 2010
ethz.identifier.nebis
006235069
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.date.deposited
2017-06-14T14:51:02Z
ethz.source
ECIT
ethz.identifier.importid
imp59364d48a198379939
ethz.ecitpid
pub:42336
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-24T10:06:47Z
ethz.rosetta.lastUpdated
2021-02-14T17:09:10Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=A%20Modular%20Scheme%20for%20Deadlock%20Prevention%20in%20an%20Object-Oriented%20Programming%20Model&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2010&rft.volume=6447&rft.spage=597&rft.epage=612&rft.issn=0302-9743&1611-3349&rft.au=West,%20Scott&Nanz,%20Sebastian&rft.isbn=978-3-642-16900-7&978-3-642-16901-4&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-642-16901-4_39&rft.btitle=Formal%20methods%20and%20software%20engineering
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35263]