Show simple item record

dc.contributor.author
Stärk, Robert F.
dc.date.accessioned
2017-06-09T09:47:19Z
dc.date.available
2017-06-09T09:47:19Z
dc.date.issued
2005
dc.identifier.issn
0304-3975
dc.identifier.other
10.1016/j.tcs.2005.06.028
dc.identifier.uri
http://hdl.handle.net/20.500.11850/31215
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Semantics of programming languages
dc.subject
Abstract state machines
dc.subject
Threads
dc.subject
Memory consistency models
dc.subject
C#
dc.subject
NET
dc.title
Formal specification and verification of the C# thread model
dc.type
Conference Paper
ethz.journal.title
Theoretical Computer Science
ethz.journal.volume
343
ethz.journal.issue
3
ethz.journal.abbreviated
Theor. comp. sci.
ethz.pages.start
482
ethz.pages.end
508
ethz.event
2nd International Symposium on Formal Methods for Components and Objects
ethz.event.location
Leiden, Netherlands
ethz.event.date
November 4-7, 2003
ethz.notes
Available online 10 August 2005.
ethz.identifier.wos
ethz.identifier.nebis
000018618
ethz.publication.place
Amsterdam
ethz.publication.status
published
ethz.date.deposited
2017-06-09T09:47:45Z
ethz.source
ECIT
ethz.identifier.importid
imp59364dbac4edd52529
ethz.ecitpid
pub:51521
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T23:26:26Z
ethz.rosetta.lastUpdated
2018-09-01T03:25:39Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Formal%20specification%20and%20verification%20of%20the%20C%23%20thread%20model&rft.jtitle=Theoretical%20Computer%20Science&rft.date=2005&rft.volume=343&rft.issue=3&rft.spage=482&rft.epage=508&rft.issn=0304-3975&rft.au=St%C3%A4rk,%20Robert%20F.&rft.genre=proceeding&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record