ASLan++ — A Formal Security Specification Language for Distributed Systems

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-642-25271-6_1 ◽

2011 ◽

pp. 1-22 ◽

Author(s):

David von Oheimb ◽

Sebastian Mödersheim

Keyword(s):

Distributed Systems ◽

Specification Language

Download Full-text

An interpreter for LOTOS, a specification language for distributed systems

Software Practice and Experience ◽

10.1002/spe.4380180406 ◽

1988 ◽

Vol 18 (4) ◽

pp. 365-385 ◽

Author(s):

L. Logrippo ◽

A. Obaid ◽

J. P. Briand ◽

M. C. Fehri

Keyword(s):

Distributed Systems ◽

Specification Language

Download Full-text

Basic Protocols: Specification Language for Distributed Systems

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_4 ◽

2007 ◽

pp. 21-25

Author(s):

Alexander Letichevsky

Keyword(s):

Distributed Systems ◽

Specification Language

Download Full-text

Graphical Specification Language for Distributed Systems

2006 15th International Conference on Computing ◽

10.1109/cic.2006.39 ◽

2006 ◽

Author(s):

Jorge Galicia ◽

Felipe Menchaca Garcia

Keyword(s):

Distributed Systems ◽

Specification Language

Download Full-text

A specification language for real-time distributed systems

Proceedings. 1988 International Conference on Computer Languages ◽

10.1109/iccl.1988.13072 ◽

2003 ◽

Author(s):

C.K. Chang ◽

T.M. Jiang ◽

M. Aoyama

Keyword(s):

Distributed Systems ◽

Real Time ◽

Specification Language

Download Full-text

An introduction to Estelle: A specification language for distributed systems

Computer Networks and ISDN Systems ◽

10.1016/0169-7552(87)90084-5 ◽

1987 ◽

Vol 14 (1) ◽

pp. 3-23 ◽

Author(s):

S. Budkowski ◽

P. Dembinski

Keyword(s):

Distributed Systems ◽

Specification Language

Download Full-text

Prototyping distributed systems using an object-oriented specification language

[1993] Proceedings The Fourth International Workshop on Rapid System Prototyping ◽

10.1109/iwrsp.1993.263178 ◽

2002 ◽

Author(s):

A. Dehkhoda ◽

D.L. Carver

Keyword(s):

Distributed Systems ◽

Object Oriented ◽

Specification Language

Download Full-text

Emotion Detection Device and Method For Use in Distributed Systems

PsycEXTRA Dataset ◽

10.1037/e623582012-001 ◽

2012 ◽

Author(s):

Ian M. Bennett

Keyword(s):

Distributed Systems ◽

Emotion Detection

Download Full-text

Emphasizing Distributed Systems

10.1016/s0065-2458(05)x8001-9 ◽

2000 ◽

Keyword(s):

Distributed Systems

Download Full-text

Computational Methods for Optimizing Distributed Systems

10.1016/s0076-5392(08)x6160-0 ◽

1984 ◽

Keyword(s):

Distributed Systems ◽

Computational Methods

Download Full-text

Lumped approximation of distributed systems and controllability questions

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1985.0017 ◽

1985 ◽

Vol 132 (3) ◽

pp. 89 ◽

Author(s):

B.D.O. Anderson ◽

P.C. Parks

Keyword(s):

Distributed Systems

Download Full-text