Communicating sequential processes
Communicating sequential processes
Algebraic theory of processes
A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Process algebra
Transition system specifications with negative premises
Theoretical Computer Science
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Reactive, generative, and stratified models of probabilistic processes
Information and Computation
A compositional approach to performance modelling
A compositional approach to performance modelling
Theoretical Computer Science
Testing preorders for probabilistic processes
Information and Computation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Communication and Concurrency
Handbook of Process Algebra
Process Algebra with Timing
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras
IICS '02 Proceedings of the Second International Workshop on Innovative Internet Computing Systems
ICCI '02 Proceedings of the 1st IEEE International Conference on Cognitive Informatics
Testing Semantics for Probabilistic LOTOS
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
CCS + Time = An Interleaving Model for Real Time Systems
ICALP '91 Proceedings of the 18th International Colloquium on Automata, Languages and Programming
Acceptance Trees for Probabilistic Processes
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
An Overview and Synthesis on Timed Process Algebras
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Denotational Semantics for Timed Testing
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
An example of performance evaluation by using the stochastic process algebra: ROSA
RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Formal Aspects of Computing
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems
ICCI '04 Proceedings of the Third IEEE International Conference on Cognitive Informatics
Formal Description of the Cognitive Process of Decision Making
ICCI '04 Proceedings of the Third IEEE International Conference on Cognitive Informatics
Formal specification of multi-agent e-barter systems
Science of Computer Programming
Specifying the memorization process with STOPA
ICCI '05 Proceedings of the Fourth IEEE International Conference on Cognitive Informatics
Cognitive informatics and contemporary mathematics for knowledge manipulation
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Editorial Recent Advances in Cognitive Informatics
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Formal testing of timed and probabilistic systems
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
| Hi-index | 0.00 |
The language RTPA, Real Time Process Algebra, has been created to enable rigorous treatment of knowledge representation and manipulation in terms of to be I to have / to do in a formal and coherent framework. This language has been designed to cope with the three dimensions involved in the problem of software specification: (i) mathematical operations, (ii) event/process timing, and (iii) memory manipulation. In this paper we focus on giving a testing semantics to the second dimension: Process timing dimension. First, we will provide a SOS like operational semantics for the process relations of RTPA. Next, we will define what a test is and we will introduce a relation based on which tests are passed by processes. Finally, we will obtain an operational characterization that can be used as a first step to define a denotational sematics sound and complete with respect the testing semantics.