Full Text Available
Access Full Text at Repository
Search Results - Information Technology Journal
-
Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
Published in Logical Methods in Computer Science (2013)Get full text
Online Article RSS Article -
-
-
Reachability under Contextual Locking
Published in Logical Methods in Computer Science (2013)Get full text
-
Induction in Algebra: a First Case Study
Published in Logical Methods in Computer Science (2013)Get full text
-
On Characterising Distributability
Published in Logical Methods in Computer Science (2013)Get full text
-
Linearizability with Ownership Transfer
Published in Logical Methods in Computer Science (2013)Get full text