Decidability of Freshness, Undecidability of Revelation (2003)

by Giorgio Ghelli , Giovanni Conforti
Venue:IN PROC. OF INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES (FOSSACS), VOLUME 2987 OF LNCS
Citations:9 - 2 self