2017 International Workshop on Engineering Technologies and Computer Science (EnT)

Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord

Mathematical Structures in Computer Science ◽

10.1017/s0960129504004190 ◽

2004 ◽

Vol 14 (3) ◽

pp. 283-283

Author(s):

VLADIMIRO SASSONE

Keyword(s):

Computer Science ◽

International Workshop ◽

Wide Area ◽

Area Network ◽

Network Programming ◽

Wide Area Network ◽

Special Issue ◽

Mathematical Structures

This Special Issue of Mathematical Structures in Computer Science contains selected papers from ConCoord, the International Workshop on Concurrency and Coordination held in Lipari, Italy, on July 6–8, 2001 and associated to the 13th Lipari School for Computer Science Researchers on the Foundations of Wide Area Network Programming.

Download Full-text

Rewriting Logic and its Applications First International Workshop, Asilomar Conference Center, Pacific Grove, California, 3-6 September 1996. Volume 4 Electronic Notes in Theoretical Computer Science.

10.21236/ada314817 ◽

1996 ◽

Cited By ~ 3

Author(s):

J. Meseguer

Keyword(s):

Computer Science ◽

International Workshop ◽

Theoretical Computer Science ◽

Rewriting Logic ◽

Theoretical Computer ◽

Conference Center ◽

Pacific Grove ◽

Asilomar Conference

Download Full-text

2009 Second International Workshop on Computer Science and Engineering

10.1109/wcse15798.2009 ◽

2009 ◽

Keyword(s):

Computer Science ◽

International Workshop ◽

Science And Engineering ◽

Second International

Download Full-text

Third international workshop on deontic logic in computer science (DEON'96)

Data & Knowledge Engineering ◽

10.1016/0169-023x(95)90035-f ◽

1995 ◽

Vol 15 (1) ◽

pp. 103-104 ◽

Cited By ~ 1

Keyword(s):

Computer Science ◽

Deontic Logic ◽

International Workshop ◽

Logic In Computer Science

Download Full-text

Foreword

Mathematical Structures in Computer Science ◽

10.1017/s0960129597002399 ◽

1997 ◽

Vol 7 (5) ◽

pp. 399-400

Author(s):

MICHAEL HUTH ◽

ACHIM JUNG ◽

KLAUS KEIMEL

Keyword(s):

Computer Science ◽

Programming Languages ◽

International Workshop ◽

Special Issue ◽

Mathematical Structures

This special issue of Mathematical Structures in Computer Science is devoted to the Proceedings of the International Workshop Logic, Domains, and Programming Languages that took place from May 24 to 27, 1995, in Darmstadt, Germany.

Download Full-text

ForewordSpecial Issue of Journal of Discrete Algorithms on the 26th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '2000) held June 15–17, 2000 in Konstanz, Germany

Journal of Discrete Algorithms ◽

10.1016/s1570-8667(04)00015-2 ◽

2004 ◽

Vol 2 (4) ◽

pp. 381

Author(s):

U BRANDES ◽

D WAGNER

Keyword(s):

Computer Science ◽

International Workshop ◽

Graph Theoretic ◽

Discrete Algorithms

Download Full-text

Third international workshop on deontic logic in computer science

The Knowledge Engineering Review ◽

10.1017/s0269888900007931 ◽

1996 ◽

Vol 11 (3) ◽

pp. 289-292

Author(s):

Mark A. Brown ◽

Jose Carno

Keyword(s):

Computer Science ◽

Deontic Logic ◽

International Workshop ◽

Imperial College ◽

The Third ◽

Logic In Computer Science

The Third International Workshop on Deontic Logic in Computer Science (ΔEON'96) took place in Sesimbra, Portugal, from 11–13 January 1996. It consisted of 12 refereed technical presentations and four invited talks. The invited speakers were Nuel Belnap (Pittsburgh University, USA), Andrew Jones (Oslo University, Norway), Krister Segerberg (Uppsala University, Sweden) and Marek Sergot (Imperial College, UK).

Download Full-text