BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Greece
1 × Italy
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:
J.W.d.Bakker E.Olderog E.P.d.Vink R.J.Wieringa J.M.Broersen R.Wieringa W.v.d.Hoek J.Treur N.Alechina M.Dastani B.Logan J.I.Zucker J.A.Bergstra J.W.Klop
Talks about:
semant (5) uniform (2) concurr (2) system (2) stream (2) logic (2) dynam (2) time (2) powerdomain (1) infinitari (1)

Person: John-Jules Ch. Meyer

DBLP DBLP: Meyer:John=Jules_Ch=

Contributed to:

KR 20082008
CL 20002000
LOPSTR/META 19941994
ICALP 19851985
STOC 19851985
ICALP 19831983
TAPSOFT, Vol.1: CAAP 19871987
TAPSOFT, Vol.2: CCPSD 19911991

Wrote 8 papers:

KR-2008-AlechinaDLM #reasoning
Reasoning about Agent Deliberation (NA, MD, BL, JJCM), pp. 16–26.
CL-2000-BroersenWM #logic #semantics
A Semantics for Persistency in Propositional Dynamic Logic (JMB, RW, JJCM), pp. 912–925.
LOPSTR-1994-HoekMT #semantics
Formal Semantics of Temporal Epistemic Reflection (WvdH, JJCM, JT), pp. 332–352.
ICALP-1985-BakkerMO #concurrent #finite #infinity #semantics
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency (JWdB, JJCM, ERO), pp. 149–157.
STOC-1985-BakkerMOZ #concurrent #semantics
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency (JWdB, JJCM, ERO, JIZ), pp. 252–262.
ICALP-1983-BakkerBKM #branch #linear #recursion #semantics
Linear Time and Branching Time Semantics for Recursion with Merge (JWdB, JAB, JWK, JJCM), pp. 39–51.
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract) (JJCM, EPdV), pp. 241–255.
CCPSD-1991-MeyerW #logic #specification
Actor-Oriented System Specification with Dynamic Logic (JJCM, RJW), pp. 337–357.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.