Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Fröschle, Sibylle"'
There is currently a drive in the aerospace domain to introduce machine to machine communication over wireless networks to improve ground processes at airports such as refuelling and air conditiong. To this end a session key has to be established bet
Externí odkaz:
http://arxiv.org/abs/2004.02516
Autor:
Fröschle, Sibylle
The main aim of this thesis is to gain insights into the decidability problem for hhpb, and to analyse when it coincides with hpb; less technically, we might say, to analyse the power of the interplay between concurrency, causality, and conflict. We
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.651148
Autor:
Fröschle, Sibylle, Valencia, Frank D.
Publikováno v:
EPTCS 41, 2010
This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing together rese
Externí odkaz:
http://arxiv.org/abs/1011.6012
Autor:
Fröschle, Sibylle, Gorla, Daniele
Publikováno v:
EPTCS 8, 2009
This volume contains the proceedings of the 16th International Workshop on Expressiveness in Concurrency (EXPRESS'09), which took place on 5th September 2009 in Bologna, co-located with CONCUR'09. The EXPRESS workshop series aim at bringing together
Externí odkaz:
http://arxiv.org/abs/0911.3189
Publikováno v:
In International Journal of e-Navigation and Maritime Economy December 2016 5:1-20
Publikováno v:
In Information and Computation 2011 209(5):782-798
Publikováno v:
In Information and Computation 2010 208(1):42-62
Autor:
Fröschle, Sibylle
Publikováno v:
In Electronic Notes in Theoretical Computer Science 9 July 2009 242(1):139-159
Autor:
Fröschle, Sibylle 1, Lasota, Sławomir 2
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 July 2009 239:17-42
Autor:
Fröschle, Sibylle a, ⁎, Lasota, Sławomir b
Publikováno v:
In Theoretical Computer Science 2007 386(3):169-187