1788 search results - page 184 / 358 » Model Theory for Process Algebra |
135
Voted
CONCUR
1992
Springer
15 years 7 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
134
Voted
PEWASUN
2006
ACM
15 years 9 months ago
2006
ACM
Understanding the performance of backoff algorithms in multihop ad hoc networks is a key feature to design efficient Medium Access Protocols for wireless networks. The 802.11 bac...
159
Voted
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
120
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
120
Voted
IFM
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...