Gioia Ristori

According to our database1, Gioia Ristori authored at least 9 papers between 1990 and 1998.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Verifying Mobile Processes in the HAL Environment.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems.
Fundam. Informaticae, 1997

An Automated Based Verification Environment for Mobile Processes.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1995
Verifying hardware components within JACK.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994
Assisting Requirement Formalization by Means of Natural Language Translation.
Formal Methods Syst. Des., 1994

Model Checking for Action-Based Logics.
Formal Methods Syst. Des., 1994

Modelling Concurrent Accesses to Shared Data via Petri Nets.
Proceedings of the Programming Concepts, 1994

1993
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
Comput. Networks ISDN Syst., 1993

1990
Compositional logic semantics and LOTOS.
Proceedings of the Protocol Specification, 1990


  Loading...