Folgen
Tibor Kiss
Tibor Kiss
Phd. Student, Babes-Bolyai University
Bestätigte E-Mail-Adresse bei cs.ubbcluj.ro
Titel
Zitiert von
Zitiert von
Jahr
Towards a Session Logic for Communication Protocols
F Craciun, T Kiss, A Costea
ICECCS, 2015
142015
Developing railway interlocking systems with Session types and Event-B.
T Kiss, KT Jánosi-Rancz
IEEE International Symposium on Applied Computational Intelligence and …, 2016
72016
Comparison of Session Logic with Session Types
T Kiss
Studia Informatica 61, 54-66, 2016
2016
Session Logic and Its Applications in Railway Industry
T Kiss
2016
Verification of protocol specifications with Separation Logic
T Kiss, F Craciun, B Parv
2015 IEEE International Conference on Intelligent Computer Communication and …, 2015
2015
Extending LARIS with Session Types: A Case Study in the Railway Interlocking
T Kiss, F Craciun, B Parv
MIPRO, 2015
2015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6