Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
On modeling real-time mobile processes
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Formal methods for distributed processing
Multimedia in the E-LOTOS process algebra
Formal methods for distributed processing
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Bisimulation indexes and their applications
Theoretical Computer Science
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Fundamenta Informaticae
Discrete time generative-reactive probabilistic processes with different advancing speeds
Theoretical Computer Science
Time and Probability in Process Algebra
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Bialgebraic Modelling of Timed Processes
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Process Languages for Rooted Eager Bisimulation
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Testing Theory for Generally Distributed Stochastic Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Faster-than Relation for Asynchronous Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Proving Correctness of Timed Concurrent Constraint Programs
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Comparing the Efficiency of Asynchronous Systems
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
An Algebraic Theory of Process Efficiency
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Specification and Analysis of Timed and Functional TRMCS Behaviours
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Information and Computation
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
The expressive power of urgent, lazy and busy-waiting actions in timed processes
Mathematical Structures in Computer Science
Bisimulation on speed: worst-case efficiency
Information and Computation
Located actions in process algebra with timing
Fundamenta Informaticae
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
Timed spi-calculus with types for secrecy and authenticity
CONCUR 2005 - Concurrency Theory
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Bisimulation on speed: a unified approach
Theoretical Computer Science
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Electronic Notes in Theoretical Computer Science (ENTCS)
Real-time rewriting semantics of orc
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Reduction Semantics and Formal Analysis of Orc Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Executable Specifications for Real-Time Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
Timed Mobile Ambients for Network Protocols
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Behaviour Equivalences in Timed Distributed π -Calculus
Software-Intensive Systems and New Computing Paradigms
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
Journal of Automated Reasoning
Generating priority rewrite systems for OSOS process languages
Information and Computation
Semantics and expressiveness of ordered SOS
Information and Computation
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS
Electronic Notes in Theoretical Computer Science (ENTCS)
An evaluation of timed scenario notations
Journal of Systems and Software
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Modelling and verification of timed interaction and migration
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Towards a theory of accountability and audit
ESORICS'09 Proceedings of the 14th European conference on Research in computer security
A calculus for the analysis of wireless network security protocols
FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
A timed calculus for wireless systems
Theoretical Computer Science
Semantic analysis of gossip protocols for wireless sensor networks
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Implementation relations for stochastic finite state machines
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
A timed calculus for wireless systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Agent interaction semantics by timed operating instructions
AC'04 Proceedings of the 2004 international conference on Agent Communication
Bisimulation on speed: a unified approach
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
A compositional operational semantics for OWL-S
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Timing the untimed: terminating successfully while being conservative
Processes, Terms and Cycles
A semantic analysis of wireless network security protocols
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Compositional methods in characterization of timed event structures
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Behavioural equivalences over migrating processes with timers
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Located Actions in Process Algebra with Timing
Fundamenta Informaticae
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Fundamenta Informaticae
On the Relationships among four Timed Process Algebras
Fundamenta Informaticae
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
Composition methods for constructing characteristic formulas for dense-time models
Programming and Computing Software
A semantic analysis of key management protocols for wireless sensor networks
Science of Computer Programming
| Hi-index | 0.01 |