Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDElectronic Notes in Theoretical Computer Science, Volume 242
Volume 242, Number 1, July 2009
- Thomas T. Hildebrandt, Daniele Gorla:
Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(1), Elsevier 2009 [contents]
Volume 242, Number 2, July 2009
- Jens Chr. Godskesen, Massimo Merro
:
Preface. 1 - Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar:
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. 3-30 - Mohammad Abdollahi Azgomi, Ali Khalili:
Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets. 31-42 - Osman Hasan, Sofiène Tahar:
Probabilistic Analysis of Wireless Systems Using Theorem Proving. 43-58 - Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg:
Composition and Independence of High-Level Net Processes. 59-71 - Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni:
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets. 73-85
Volume 242, Number 3, August 2009
- Steve Kremer, Prakash Panangaden:
Preface. 1-2 - Johannes Borgström:
A Complete Symbolic Bisimilarity for an Extended Spi Calculus. 3-20 - Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen:
Type Inference for Correspondence Types. 21-36
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2021-07-31 01:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
