Links

    Specification and Verification of Concurrent Systems (facs)

    algebra
    Meta-Environment
    Pascal
    analysis
    application framework
    data-flow
    design
    e-science
    functional programming
    grammar
    logic
    meta-model
    meta-objects
    modeling
    program verification
    programming
    protocol
    refinement
    reuse
    rule-based
    semantics
    software engineering
    synchronization
    systematic-approach
    Alberto Faro
    Alessandro Giacalone
    Antonella Di Stefano
    Asis Goswami
    Austin Melton
    Baba Prasad
    Barbara A. Kitchenham
    Christopher M. Holt
    David A. Gustafson
    David Freestone
    David Gilbert
    David H. Pitt
    Dominique Méry
    Donal Roantree
    E. Pascal Gribomont
    Elspeth Cusack
    Fabio Gibilisco
    Francois D. Carrez
    Greetha Ramanathan
    Herbert P. Sander
    Horst Zuse
    J. D. Parker
    James M. Bieman
    Jawahar Malhotra
    Jeffrey J. Joyce
    John A. Ogden
    Jonathan Billington
    Kenneth R. Parker
    Kong E. Cheng
    L. D. Natanson
    Martin J. Shepperd
    Mathai Joseph
    Maurice Clint
    Meg Russell
    Michael D. Rice
    Michele Malgeri
    Naim Temsamani
    Norbert Fuchs
    Norman E. Fenton
    Orazio Mirabella
    P. E. D. Strain-Clark
    Paddy H. Byers
    Parosh Aziz Abdulla
    Paul A. J. Tilanus
    Peter Bollmann-Sdorra
    Peter Dybjer
    Pierre America
    R. W. Whitty
    Rainer A. Berger
    Ramón A. Mata-Toledo
    Richard E. Courtney
    Robert G. Clark
    Robert M. Shapiro
    Robin A. Nicholl
    Robin W. Whitty
    Rosalind L. Ibrahim
    Scott A. Smolka
    Shirley A. Williams
    Sieglinde Stainer
    Stefan Arnborg
    Stephen A. Schuman
    Stuart R. Matthews
    Sören Holmström
    Udo Thalmann
    Vangalur S. Alagar
    Vincenza Carchiolo
    W. B. Samson
    W. D. Crowe
    Wang Yi
    Yan Yang
    runs on