TAPSOFT '91 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540539810, 9783540464990
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Combining interaction and automation in process algebra verification

1991 ◽  
pp. 283-296 ◽  
Author(s):  
Albert Camilleri ◽  
Paola Inverardi ◽  
Monica Nesi
Keyword(s):  
Process Algebra

scholarly journals An extended expansion theorem

1991 ◽  
pp. 29-48 ◽  
Author(s):  
Gian Luigi Ferrari ◽  
Roberto Gorrieri ◽  
Ugo Montanari
Keyword(s):  
Expansion Theorem

scholarly journals A theory of program modifications

1991 ◽  
pp. 137-152 ◽  
Author(s):  
G. Ramalingam ◽  
Thomas Reps

scholarly journals On addition schemes

1991 ◽  
pp. 379-393 ◽  
Author(s):  
Srećko Brlek ◽  
Pierre Castéran ◽  
Robert Strandh

scholarly journals Refining interfaces of communicating systems

1991 ◽  
pp. 297-312 ◽  
Author(s):  
Ed Brinksma ◽  
Bengt Jonsson ◽  
Fredrik Orava
Load More ...
Sign in / Sign up

Export Citation Format

Share Document