A Comparison of Java Cards: State-of-Affairs 2006 ∗ (2008)
Wojciech Mostowski, Jing Pan, Srikanth Akkiraju, Erik Vink, Erik Poll, Jerry Hartog
This document presents the results of a comparative study of some popular Java Cards on the market. Eight different cards from four manufacturers have been considered. The analysis has been done at...
A Companion to Coalgebraic Weak Bisimulation for Action-Type Systems ∗ (2008)
Ana Sokolova, Erik Vink, Harald Woracek
We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bifunctors in the category Set. Weak bisimilarity for a system is obtained as strong bisimilarity of a...
Abstract STM 2005 Preliminary Version Multiparty Contract Signing over a Reliable Network (2008)
Most contract signing protocols make use of a trusted third party (TTP) to ensure fairness. It has been shown that in the crash network model, this is inevitable. However, for stronger networks,...
Dmitri Chkliaev, Jozef Hooman, Erik Vink
Abstract — The well-known Sliding Window protocol caters for the reliable and efficient transmission of data over unreliable channels that can lose, reorder and duplicate messages. Despite the...
Dmitri Chkliaev, Jozef Hooman, Erik Vink
Abstract — The well-known Sliding Window protocol caters for the reliable and efficient transmission of data over unreliable channels that can lose, reorder and duplicate messages. Despite the...