Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rance Cleaveland

Priorities in Process Algebras

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1990English

TRIM: A Tool for Triggered Message Sequence Charts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Probabilistic Temporal Logics via the Modal Mu-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems

ACM Transactions on Programming Languages and Systems
Software
1993English

Unit Verification: The CARA Experience

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2004English

A Compositional Approach to Statecharts Semantics

ACM SIGSOFT Software Engineering Notes
2000English

Integrated Environment for Control Software Engineering

2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy