acm transactions on computational logic (5)
information and computation (5)
fundamenta informaticae (4)
journal of the acm (4)
acm transactions on programming languages & systems (3)
electronic notes in theoretical computer science (3)
journal of logical and algebraic methods in programming (3)
entcs: electronic notes in theoretical computer science (2)
formal methods in system design (2)
information & computation (2)
journal of logic and computation (2)
mathematical structures in computer science (2)
mondo digitale (2)
workshop on formal methods in security engineering (2)
2009 ninth international conference on application of concurrency to system design, application of concurrency to system design, 2009. acsd '09. ninth international conference on (1)
2023 ieee international conference on blockchain (blockchain), blockchain (blockchain), 2023 ieee international conference on, blockchain (1)
acm / sigplan notices (1)
acm sigplan notices (1)
acm transactions on programming languages and systems (1)
automata, languages and programming (1)
automata, languages and programming. part ii (1)
bulletin of the european association for theoretical computer science. eatcs (1)
concur 2000---concurrency theory (university park, pa) (1)
concur 2001--concurrency theory (aalborg) (1)
concur 2007 - concurrency theory (1)
concur 2007---concurrency theory (1)
concur 2010 - concurrency theory (1)
concur 2010---concurrency theory (1)
concur 2011---concurrency theory (1)
digital society (1)
digital society: ethics, socio-legal and governance of digital technology (1)
ecoop 2014 - object-oriented programming (1)
financial cryptography and data security (1)
formal methods in system design: an international journal (1)
foundations of software science & computational structures (9783642287282) (1)
foundations of software science and computational structures (1)
iscience (1)
journal of economic interaction & coordination (1)
journal of economic interaction and coordination (1)
journal of logic & computation (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
proceedings of the fourth acm workshop: formal methods in security (1)
proceedings---combined 29th international workshop on expressiveness in concurrency and 19th workshop on structural operational semantics (1)
programming languages & systems 24th european symposium on programming, esop 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (1)
programming languages & systems: 12th asian symposium, aplas 2014, singapore, singapore, november 17-19, 2014, proceedings (1)
science of computer programming (1)
the logic of software---a tasting menu of formal methods (1)
theoretical aspects of computer software (sendai, 2001) (1)
trustworthy global computing (1)