Programming Concepts and Methods PROCOMET ’98
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer US

9781475762990, 9780387353586
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Towards Squiggly Refinement Algebra

1998 ◽  
pp. 346-365 ◽  
Author(s):  
D. A. Naumann

scholarly journals Towards a Theory of Sequential Hybrid Programs

1998 ◽  
pp. 366-384 ◽  
Author(s):  
P. K. Pandya ◽  
H.-P. Wang ◽  
Q.-W. Xu

scholarly journals An extension of the program derivation format

1998 ◽  
pp. 167-185
Author(s):  
A. J. M. Gasteren ◽  
A. Bijlsma
Keyword(s):  
Program Derivation

scholarly journals Comparing CTL and PCTL on Labeled Markov Chains

1998 ◽  
pp. 244-262 ◽  
Author(s):  
M. R. A. Huth ◽  
M. Z. Kwiatkowska
Keyword(s):  
Markov Chains

scholarly journals Reactive Functional Programming

1998 ◽  
pp. 263-284 ◽  
Author(s):  
R. B. Kieburtz
Keyword(s):  
Functional Programming

scholarly journals Relating Linear and Branching Model Checking

1998 ◽  
pp. 304-326 ◽  
Author(s):  
O. Kupferman ◽  
M. Y. Vardi
Keyword(s):  
Model Checking ◽  
Branching Model

scholarly journals Test Selection for Object-Oriented Software Based on Formal Specifications

1998 ◽  
pp. 385-403 ◽  
Author(s):  
C. Péraire ◽  
S. Barbey ◽  
D. Buchs
Keyword(s):  
Object Oriented ◽  
Formal Specifications ◽  
Test Selection ◽  
Selection For

scholarly journals Final semantics for the π-calculus

1998 ◽  
pp. 225-243 ◽  
Author(s):  
F. Honsell ◽  
M. Lenisa ◽  
U. Montanari ◽  
M. Pistore
Keyword(s):  
Π Calculus

scholarly journals Verifying Duration Properties of Timed Transition Systems

1998 ◽  
pp. 327-345 ◽  
Author(s):  
Z. Liu ◽  
A. P. Ravn ◽  
X. Li
Keyword(s):  
Transition Systems

scholarly journals Structures for lazy semantics

1998 ◽  
pp. 30-48 ◽  
Author(s):  
O. Bastonero ◽  
A. Pravato ◽  
S. Ronchi Rocca
Keyword(s):  
Lazy Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document