POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Model checking distributed objects design
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Deadlock detection in distribution object systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
Finite-state analysis of two contract signing protocols
Theoretical Computer Science
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
Using Model Checking to Detect Deadlocks in Distributed Object Systems
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Toward a quantum process algebra
Proceedings of the 1st conference on Computing frontiers
A bisimulation for type abstraction and recursion
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Converging CSP specifications and C++ programming via selective formalism
ACM Transactions on Embedded Computing Systems (TECS)
A complete compositional reasoning framework for the efficient verification of pipelined machines
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
A calculus of logical relations for over- and underapproximating static analyses
Science of Computer Programming
Modelling, property verification and behavioural equivalence of lactose operon regulation
Computers in Biology and Medicine
Information and Computation
On Relating and Integrating Two Trust Management Frameworks
Electronic Notes in Theoretical Computer Science (ENTCS)
Conjunction on processes: Full abstraction via ready-tree semantics
Theoretical Computer Science
Axiomatizations for probabilistic finite-state behaviors
Theoretical Computer Science
An Observational Theory for Mobile Ad Hoc Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
A bulk-synchronous parallel process algebra
Computer Languages, Systems and Structures
Remarks on Testing Probabilistic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Coinductive Verification of Program Optimizations Using Similarity Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Decidability of Weak Bisimilarity for a Subset of BPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Introducing advanced telematic services in rural areas
Information Polity
Distributed Semantics and Implementation for Systems with Interaction and Priority
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Modeling and Model Checking Software Product Lines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Approximately bisimilar symbolic models for nonlinear control systems
Automatica (Journal of IFAC)
Bialgebraic methods and modal logic in structural operational semantics
Information and Computation
The Calculus of Handshake Configurations
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A refinement-based compositional reasoning framework for pipelined machine verification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Automatic Enforcement of Security in Computer Networks
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Probabilistic and nondeterministic aspects of anonymity
Theoretical Computer Science
From Bialgebraic Semantics to Congruence Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Generation of visual language-oriented design environments
Journal of Visual Languages and Computing
Type-based analysis of deadlock for a concurrent calculus with interrupts
ESOP'07 Proceedings of the 16th European conference on Programming
From high-level component-based models to distributed implementations
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
The essence of compiling with traces
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automated distributed implementation of component-based models with priorities
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Decidability of branching bisimulation on normed commutative context-free processes
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Cryptographic protocol analysis on real c code
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
From quantum physics to programming languages: a process algebraic approach
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
B2B protocol construction as a basis for integration architecture configuration
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Refinement and theorem proving
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Incremental pattern-based coinduction for process algebra and its isabelle formalization
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Property-preserving program refinement
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Optimized distributed implementation of multiparty interactions with observation
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Tracing compilation by abstract interpretation
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.01 |