author-photo

John-Jules Ch. Meyer

VU University Amsterdam

14

Papers

309

Citations

Citation Trend

Filter By

Papers (13) Sort By

Journal Conference Others

An Organization-oriented Model for Agent Societies

2008
Show All
- Source
- Cite
- Save
Citations (77)
Dynamic Database Logic: the First-order Case

1992
Show All
- Source
- Cite
- Save
Citations (13)
Discussion Issues for a Working Group on Update Semantics of Logic Databases.

1991
Show All
- Source
- Cite
- Save
Citations (0)
Declarative Semantics of Passive and Active Updates in Logic Databases.

1991
- Paul Spruit
- John-Jules Ch. Meyer
Show All
- Source
- Cite
- Save
Citations (1)
Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract)

1989 MFCS | Mathematical Foundations of Computer Science
- John-Jules Ch. Meyer
- Erik P. de Vink
Show All
- Source
- Cite
- Save
Citations (6)
A Specification Language for Static, Dynamic and Deontic Integrity Constraints

1989
Show All
- Source
- Cite
- Save
Citations (19)
Specifying dynamic and deonitc integrity constraints

1989 ICDKE | Data and Knowledge Engineering
Show All
- Source
- Cite
- Save
Citations (89)
Metric semantics for concurrency

1988 Bit Numerical Mathematics
- J. W. de Bakker
- John-Jules Ch. Meyer
Show All
- Source
- Cite
- Save
Citations (33)
Contrasting themes in the semantics of imperative concurrency

1986
Show All
- Source
- Cite
- Save
Citations (42)
Contrasting themes in the semantics of imperative concurrency

1986
Show All
- Source
- Cite
- Save
Citations (0)