Neda Saeedloei
A Logical Encoding of Timed π-Calculus
LOPSTR, 2013.
@inproceedings{LOPSTR-2013-Saeedloei, author = "Neda Saeedloei", booktitle = "{Revised Selected Papers of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation}", doi = "10.1007/978-3-319-14125-1_10", isbn = "['978-3-319-14124-4', '978-3-319-14125-1']", pages = "164--182", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Logical Encoding of Timed π-Calculus}", volume = 8901, year = 2013, }