Carron Kirkwood
According to our database1,
Carron Kirkwood
authored at least 6 papers
between 1990 and 1995.
Collaborative distances:
Collaborative distances:
Timeline
1990
1991
1992
1993
1994
1995
0
1
2
3
4
3
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1995
Experiences with specification and verification in LOTOS: a report on two case studies.
Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995
Experiences in applying formal methods to the analysis of software and system requirements.
Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995
Specifying Properties of Basic LOTOS Processes Using Temporal Logic.
Proceedings of the Formal Description Techniques VIII, 1995
1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
1990
Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990
Some Experiments Using Term Rewriting Techniques for Concurrency.
Proceedings of the Formal Description Techniques, 1990