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: Meyer:John=Jules_Ch=
Contributed to:
2008
2000
1994
1985
19851983
19871991Wrote 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.
- CAAP-1987-MeyerV
- 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.