Dimitar P. Guelev. “Gabbay Separation for the Duration Calculus”. In: 29th International
Symposium on Temporal Representation and Reasoning (TIME 2022). Ed. by Alexander
Artikis, Roberto Posenato, and Stefano Tonetta. Vol. 247. Leibniz International Proceedings
in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für
Informatik, 2022, 10:1–10:14. isbn: 978-3-95977-262-4. doi: 10.4230/LIPIcs.TIME.2022.10.
url: https://drops.dagstuhl.de/opus/volltexte/2022/17257.
Antonio Cau, Stefan Kuhn, and James Hoey. “Reversibility of Executable Interval Temporal
Logic Specifications”. In: Reversible Computation - 13th International Conference, RC 2021,
Virtual Event, July 7-8, 2021, Proceedings. Ed. by Shigeru Yamashita and Tetsuo Yokoyama.
Vol. 12805. Lecture Notes in Computer Science. Springer, 2021, pp. 214–223.
url: https://doi.org/10.1007/978-3-030-79837-6_13.
Hanna Klaudel, Maciej Koutny, and Ben Moszkowski. “From Petri Nets with Shared Variables
to ITL”. In: 16th International Conference on Application of Concurrency to System Design
(ACSD). June 2016, pp. 11–18.
url: http://dx.doi.org/10.1109/ACSD.2016.12.
Ben C. Moszkowski and Dimitar P. Guelev. “An Application of Temporal Projection
to Interleaving Concurrency”. In: Dependable Software Engineering: Theories, Tools, and
Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6,
2015, Proceedings. 2015, pp. 153–167.
url: http://dx.doi.org/10.1007/978-3-319-25942-0_10.
Andrew Nicholson, Helge Janicke, and Antonio Cau. “Position Paper: Safety and Security
Monitoring in ICS/SCADA Systems”. In: Proceedings of the 2nd International Symposium for
ICS & SCADA Cyber Security Research 2014. Download pdf. BCS, 2014, pp. 61–66.
url: http://dx.doi.org/10.14236/ewic/ics-csr2014.9.
Meng Han, Zhenhua Duan, and Xiaobing Wang. “Time constraints with temporal logic
programming”. In: Proceedings of the 14th international conference on Formal Engineering
Methods: formal methods and software engineering. ICFEM’12. Kyoto, Japan: Springer Verlag,
2012, pp. 266–282. isbn: 978-3-642-34280-6.
url: http://dx.doi.org/10.1007/978-3-642-34281-3_20.
Amin El-kustaban, Ben Moszkowski, and Antonio Cau. “Formalising of Transactional Memory
using Interval Temporal Logic (ITL)”. In: Proceedings of the Spring World Congress on
Engineering and Technology (SCET 2012). Download pdf. 2012.
url: http://dx.doi.org/10.1109/SCET.2012.6342060.
Amin El-kustaban, Ben Moszkowski, and Antonio Cau. “Specification Analysis of
Transactional Memory using ITL and AnaTempura”. In: Proceedings of International
MultiConference of Engineers and Computer Scientists 2012 (IMECS 2012). Download pdf.
2012.
url: https://doaj.org/article/373d1feae6e04b2c90b7457634ddfe4d.
Emad Shafie and Antonio Cau. “A Framework for the Detection and Prevention of SQL
Injection”. In: Proceedings of the 11th European Conference on Information Warfare and
Security ECIW-2012. Download pdf. 2012.
Xiaoxiao Yang, Yu Zhang, Ming Fu, and Xinyu Feng. “A concurrent temporal programming
model with atomic blocks”. In: Proceedings of the 14th international conference on Formal
Engineering Methods: formal methods and software engineering. ICFEM’12. Kyoto, Japan:
Springer Verlag, 2012, pp. 22–37. isbn: 978-3-642-34280-6.
url: http://dx.doi.org/10.1007/978-3-642-34281-3_5.
Sulaiman Al Amro and Antonio Cau. “Behaviour-based Virus Detection System using Interval
Temporal Logic”. In: CRiSIS 2011, Proceedings of the Sixth International Conference on Risks
and Security of Internet and Systems, Timioara, Romania, September 26-28, 2011. 2011,
pp. 106–111.
url: http://dx.doi.org/10.1109/CRiSIS.2011.6061544.
Ben C. Moszkowski. “Compositional Reasoning Using Intervals and Time Reversal”. In:
Proceedings of the Eighteenth International Symposium on Temporal Representation and
Reasoning TIME2011. 2011, pp. 107–114.
url: http://dx.doi.org/10.1109/TIME.2011.25.
Jim Woodcock, Marcel Oliveira, Alan Burns, and Kun Wei. “Modelling and Implementing
Complex Systems with Timebands”. In: Fourth International Conference on Secure Software
Integration and Reliability Improvement (SSIRI), 2010. June 2010, pp. 1–13.
url: http://dx.doi.org/10.1109/SSIRI.2010.7.
Mohamed Sarrab, Helge Janicke, and Antonio Cau. “Interactive runtime monitoring of
information flow policies”. In: In proceedings of Second international conference of Creativity
and Innovation in Software Engineering. Download pdf. 2009.
Helge Janicke, Antonio Cau, François Siewe, and Hussein Zedan. “Concurrent Enforcement
of Usage Control Policies”. In: 9th IEEE International Workshop on Policies for Distributed
Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA. Download
pdf. 2008, pp. 111–118.
url: http://dx.doi.org/10.1109/POLICY.2008.44.
Kamal Lodaya, Paritosh K. Pandya, and Simoni S. Shah. “Marking the chops: an unambiguous
temporal logic”. In: Fifth IFIP International Conference On Theoretical Computer Science -
TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science,
September 7-10, 2008, Milano, Italy. 2008, pp. 461–476.
url: http://dx.doi.org/10.1007/978-0-387-09680-3_31.
Helge Janicke, Antonio Cau, François Siewe, and Hussein Zedan. “A note on the formalisation
of UCON”. In: SACMAT 2007, 12th ACM Symposium on Access Control Models and
Technologies, Sophia Antipolis, France, June 20-22, 2007, Proceedings. Download pdf. 2007,
pp. 163–168.
url: http://dx.doi.org/10.1145/1266840.1266867.
Helge Janicke, Antonio Cau, François Siewe, and Hussein Zedan. “Deriving Enforcement
Mechanisms from Policies”. In: 8th IEEE International Workshop on Policies for Distributed
Systems and Networks (POLICY 2007), 13-15 June 2007, Bologna, Italy. Download pdf. 2007,
pp. 161–172.
url: http://dx.doi.org/10.1109/POLICY.2007.15.
Helge Janicke and Linda Finch. “The Role of Dynamic Security Policy in Military Scenarios”.
In: In Proceedings of the 6th European Conference on Information Warfare and Security. 2007.
Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, and Kevin Jones. “A
Compositional Event & Time-Based Policy Model”. In: 7th IEEE International Workshop
on Policies for Distributed Systems and Networks (POLICY 2006), 5-7 June 2006, London,
Ontario, Canada. Download pdf. 2006, pp. 173–182.
url: http://dx.doi.org/10.1109/POLICY.2006.2.
Monika Solanki, Antonio Cau, and Hussein Zedan. “ASDL: A Wide Spectrum Language for
Designing Web services”. In: Proceedings of 15th International World Wide Web Conference
WWW2006. Download pdf. Edinburgh, Scotland: ACM, 2006.
url: http://dx.doi.org/10.1145/1135777.1135878.
Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, and Hussein Zedan. “Analysis
and Run-time Verification of Dynamic Security Policies”. In: In Proceedings of The First
Workshop on Defence Applications for Multi-Agent Systems (DAMAS’05). Ed. by Robert
Ghanea-Hercock and Mark Greaves and Nick Jennings and Simon Thompson. Vol. 3890.
Lecture Notes in Computer Science. Download pdf. Utrecht, The Netherlands: Springer
Verlag, July 2005, pp. 92–103.
url: http://dx.doi.org/10.1007/11683704_8.
François Siewe, Helge Janicke, and Kevin Jones. “Dynamic Access Control Policies and
Web-Service Composition”. In: Proceedings of the 1st Young Researchers Workshop on Service
Oriented Computing (YR-SOC 05). 2005.
Monika Solanki, Antonio Cau, and Hussein Zedan. “Semantically annotating reactive web
services with temporal specifications”. In: Proceedings of the IEEE ICWS 2005, Second
International Workshop on Semantic and Dynamic Web Processes. Vol. 140. Download pdf.
2005.
Monika Solanki, Antonio Cau, and Hussein Zedan. “Augmenting semantic web service
descriptions with compositional specification”. In: Proceedings of the 13th international
conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004. Ed. by
Stuart I. Feldman, Mike Uretsky, Marc Najork, and Craig E. Wills. Download pdf. ACM,
2004, pp. 544–552. isbn: 1-58113-844-X.
url: http://dx.doi.org/10.1145/988672.988746.
Monika Solanki, Antonio Cau, and Hussein Zedan. “Introducing Compositionality in Web
Service Descriptions”. In: 10th IEEE International Workshop on Future Trends of Distributed
Computing Systems (FTDCS 2004), 26-28 May 2004, Suzhou, China. Download pdf. IEEE
Computer Society, 2004, pp. 14–20. isbn: 0-7695-2118-5.
url: http://dx.doi.org/10.1109/FTDCS.2004.1316588.
Martin Wildmoser and Tobias Nipkow. “Certifying Machine Code Safety: Shallow versus Deep
Embedding”. In: Theorem Proving in Higher Order Logics (TPHOLs 2004). Ed. by K. Slind,
A. Bunker, and G. Gopalakrishnan. Vol. 3223. LNCS. Springer, 2004, pp. 305–320.
Ben Moszkowski. “A Hierarchical Completeness Proof for Interval Temporal Logic with Finite
Time (Preliminary Version)”. In: Proc. of the Workshop on Interval Temporal Logics and
Duration Calculi (part of 15th European Summer School in Logic Language and Information
(ESSLLI-2003)). Vienna, Aug. 2003, pp. 41–65.
Ben Moszkowski. “A Hierarchical Completeness Proof for Propositional Temporal Logic”.
In: Verification–Theory and Practice: Proceedings of an International Symposium in Honor
of Zohar Manna’s 64th Birthday (Taormina, Sicily, Italy, June 29 - July 4, 2003). Ed. by
Nachum Dershowitz. Vol. 2772. Lecture Notes in Computer Science. Berlin: Springer Verlag,
2003, pp. 480–523. isbn: 3-540-21002-4.
url: http://dx.doi.org/10.1007/978-3-540-39910-0_22.
François Siewe, Antonio Cau, and Hussein Zedan. “A Compositional Framework for Access
Control Policies Enforcement”. In: Proceedings of the 2003 ACM Workshop on Formal Methods
in Security Engineering. FMSE ’03. Download pdf. Washington, D.C.: ACM, 2003, pp. 32–42.
isbn: 1-58113-781-8.
url: http://dx.doi.org/10.1145/1035429.1035433.
Monika Solanki, Antonio Cau, and Hussein Zedan. “Introducing compositionality in
webservice descriptions”. In: proceedings of the 3rd International Anwire Workshop on
Adaptable Service Provision. Download pdf. Springer Verlag, 2003.
Roger Hale. “Using ITL for Codesign”. In: Proceedings of the Verification Workshop part of
the International Joint Conference on Automated Reasoning IJCAR’2001. 2001.
Hussein Zedan and Antonio Cau. “Voice Over IP: Correct Hardware/Software Co-design”.
In: 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001),
31 October, 2 November 2001, Bologna, Italy, Proceedings. IEEE Computer Society, 2001,
pp. 194–200. isbn: 0-7695-1384-0.
url: http://dx.doi,org/10.1109/FTDCS.2001.969641.
Hussein Zedan et al. “K-Mediator: Towards Evolving Information Systems”. In: Software
Maintenance, 2001. Proceedings. IEEE International Conference on. Download pdf. 2001,
pp. 520–527.
url: http://dx.doi.org/10.1109/ICSM.2001.972765.
Jordan Dimitrov. “Compositional Reasoning about Events in Interval Temporal Logic”. In:
Proc. of The Fifth International Conference on Computer Science and Informatics. 2000.
Wang Jianzhong, Xu Qiwen, and Ma Huadong. “Modelling and Verification of a Network
Player System with DCValid”. In: Proc. of the First Asia-Pacific Conference on Quality
Software (APAQS 2OOO). Ed. by T. H. Tse and T. Y. Chen. Hong Kong: IEEE Computer
Society Press, Oct. 2000, pp. 44–49.
url: http://dx.doi.org/10.1109/APAQ.2000.883777.
Kamal Lodaya. “Sharpening the Undecidability of Interval Temporal Logic”. In: Advances
in Computing Science - ASIAN 2000: Proc. of Sixth Asian Computing Science Conference.
Ed. by He Jifeng and Masahiko Sato. Vol. 1961. Lecture Notes in Computer Science. Penang,
Malaysia: Springer Verlag, Nov. 2000. isbn: 3-540-41428-2.
url: http://dx.doi.org/10.1007/3-540-44464-5_21.
Ben Moszkowski. “A Complete Axiomatization of Interval Temporal Logic with Infinite Time
(Extended Abstract)”. In: Proc. of the 15th Annual IEEE Symposium on Logic in Computer
Science (LICS 2000). Download pdf. IEEE Computer Society Press, June 2000, pp. 242–251.
isbn: 0–7695–0725–5.
url: http://dx.doi.org/10.1109/LICS.2000.855773.
Ben Moszkowski. “An Automata-Theoretic Completeness Proof for Interval Temporal Logic
(Extended Abstract)”. In: Proceedings of the 27th International Colloquium on Automata,
Languages and Programming (ICALP 2000). Ed. by Ugo Montanari, José Rolim, and Emo
Welzl. Vol. 1853. Lecture Notes in Computer Science. Download pdf. Geneva, Switzerland:
Springer Verlag, July 2000, pp. 223–234. isbn: 3-540-67715-1.
url: http://dx.doi.org/10.1007/3-540-45022-X_19.
Arun C. Rao, Antonio Cau, and Hussein Zedan. “Visualization of Interval Temporal Logic”. In:
Proc. of the Fifth International Conference on Computer Science and Informatics. Download
pdf. 2000.
Hussein Zedan, Antonio Cau, and Ben C. Moszkowski. “Compositional Modelling: The Formal
Perspective”. In: Proc. of Workshop on Systems Modelling for Business Process Improvement.
Ed. by David Bustard. Download pdf. Artech House, 2000, pp. 333–354.
Hussein Zedan, Antonio Cau, and Shikun Zhou. “A Calculus for Evolution”. In: Proc. of the
Fifth International Conference on Computer Science and Informatics. Download pdf. 2000.
XiaoShan Li. “Formal Semantics of Verilog HDL”. In: CDROM: Proceedings of the Second
Forum on Design Languages (FDL ’99). Lyon, France: ECSI Verlag, Gières, Aug. 1999,
pp. 127–136. isbn: 2-84010-033-9.
XiaoShan Li. “Specification and Simulation of a Concurrent Real-Time System”. In: IEEE
Proceedings of International Symposium on Software Engineering for Parallel and Distributed
Systems. Los Angeles, California: IEEE Computer Society, May 1999, pp. 197–204.
url: http://dx.doi.org/10.1109/PDSE.1999.779752.
Matthew J. Morley. “Semantics of Temporal e”. In: Banff’99 Higher Order Workshop: Formal
Methods in Computation, Ullapool, Scotland, 9–11 Sept. 1999. Ed. by T. F. Melham and
F. G. Moller. University of Glasgow, Department of Computing Science Technical Report.
1999, pp. 138–142.
Markus Müller-Olm. “A Modal Fixpoint Logic with Chop”. In: Proc. 16th Annual Symposium
on Theoretical Aspects of Computer Science (STACS’99). Ed. by Christoph Meinel and Sophie
Tison. Vol. 1563. Lecture Notes in Computer Science. Trier, Germany: Springer Verlag, Mar.
1999, pp. 510–520.
url: http://dx.doi.org/10.1007/3-540-49116-3_48.
Thomas M. Rasmussen. “Signed Interval Logic”. In: Computer Science Logic, 13th
International Workshop, CSL ’99, 8th Annual Conference of the EACSL. Ed. by Jörg Flum
and Mario Rodríguez-Artalejo. Vol. 1683. Lecture Notes in Computer Science. Berlin, 1999,
pp. 157–171. isbn: 3-540-66536-6.
url: http://dx.doi.org/10.1007/3-540-48168-0_12.
Shikun Zhou, Hussein Zedan, and Antonio Cau. “A Framework For Analysing The Effect of
‘Change’ In Legacy Code”. In: IEEE Proc. of ICSM’99. Download pdf. IEEE. 1999.
url: http://dx.doi,org/10.1109/ICSM.1999.792639.
Antonio Cau, Chris Czarnecki, and Hussein Zedan. “Designing a Provably Correct Robot
Control System using a ‘Lean’ Formal Method”. In: Proceedings 5th International Symposium
on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT’98). Ed. by Anders
P. Ravn and Hans Rischel. Vol. 1486. Lecture Notes in Computer Science. Download pdf.
Springer Verlag, 1998, pp. 123–132.
url: http://dx.doi.org/10.1007/BFb0055342.
Antonio Cau, Hussein Zedan, Ben Moszkowski, and Alastair Ruddle. “"Lean" formal methods
in the development of provably correct real-time systems”. In: IEE Colloquium on Real-Time
Systems (Digest No. 1998/306). Download pdf. IET, 1998, pp. 6/1–6/5.
url: https://doi.org/10.1049/ic:19980527.
Ben Moszkowski. “Compositional reasoning using Interval Temporal Logic and Tempura”.
In: Compositionality: The Significant Difference. Ed. by Willem-Paul de Roever, Hans
Langmaack, and Amir Pnueli. Vol. 1536. Lecture Notes in Computer Science. Download pdf.
Berlin: Springer Verlag, 1998, pp. 439–464. isbn: 3-540-65493-3.
url: http://dx.doi.org/10.1007/3-540-49213-5_17.
Antonio Cau and Hussein Zedan. “Refining Interval Temporal Logic specifications”. In:
Transformation-Based Reactive Systems Development. Ed. by M. Bertran and T. Rus.
Vol. 1231. Lecture Notes in Computer Science. Download pdf. AMAST. Springer Verlag,
1997, pp. 79–94.
url: http://dx.doi.org/10.1007/3-540-63010-4_6.
XiaoShan Li, Antonio Cau, Ben Moszkowski, and Nick Coleman. “Proving the correctness
of the interlock mechanism in processor design”. In: Advances in Hardware Design and
Verification. Ed. by Hon F. Li and David K. Probst. Download pdf. London: IFIP/Chapman
and Hall, 1997, pp. 2–22.
Antonio Cau, Hussein Zedan, Nick Coleman, and Ben Moszkowski. “Using ITL and
TEMPURA for large scale specification and simulation”. In: Proc. of the 4th Euromicro
Workshop on Parallel and Distributed Processing. Download pdf. IEEE Computer Society
Press, 1996, pp. 493–500.
url: http://dx.doi.org/10.1109/EMPDP.1996.500624.
Ben Moszkowski. “Using temporal fixpoints to compositionally reason about liveness”. In:
BCS-FACS 7th Refinement Workshop. Ed. by He Jifeng, John Cooke, and Peter Wallis.
electronic Workshops in Computing. Download pdf. BCS-FACS. London: Springer Verlag and
British Computer Society, 1996. isbn: 3-540-76104-7.
Jonathan Bowen, He Jifeng, Roger Hale, and John Herbert. “Towards Verified Systems: The
SAFEMOS Project”. In: The Mathematics of Dependable Systems. Ed. by C. Mitchell and
V. Stavridou. The Institute of Mathematics and its Applications Conference Series. Oxford:
Oxford University Press, 1995.
Bruno Dutertre. “Complete proof systems for first order interval temporal logic”. In: Proc. of
the 10th Annual IEEE Symposium on Logic in Computer Science. Los Alamitos, Calif., USA:
IEEE Computer Society Press, June 1995, pp. 36–43.
url: http://dx.doi.org/10.1109/LICS.1995.523242.
Ben Moszkowski. “Compositional reasoning about projected and infinite time”. In: Proceedings
of the First IEEE Int’l Conf. on Engineering of Complex Computer Systems (ICECCS’95).
Download pdf. Los Alamitos, California: IEEE Computer Society Press, 1995, pp. 238–245.
url: http://dx.doi.org/10.1109/ICECCS.1995.479336.
R. Elliot. “An exercise in formally based circuit synthesis from a behavioural specification in
Interval Temporal Logic”. In: Proc. EUROMICRO ’94. 1994.
url: http://dx.doi.org/10.1109/EURMIC.1994.390402.
Arjun Kapur, Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. “Proving safety
properties of hybrid systems”. In: Formal Techniques in Real-Time and Fault-Tolerant
Systems. Ed. by Hans Langmaack, Willem-Paul de Roever, and Jan Vytopil. Vol. 863. Lecture
Notes in Computer Science. Springer Verlag, 1994, pp. 431–454. isbn: 978-3-540-58468-1.
url: http://dx.doi.org/10.1007/3-540-58468-4_177.
Ben Moszkowski. “Some very compositional temporal properties”. In: Programming Concepts,
Methods and Calculi. Ed. by E.-R. Olderog. Vol. A-56. IFIP Transactions. IFIP. Elsevier
Science B.V. (North–Holland), 1994, pp. 307–326.
Masahiro Fujita and Shinji Kono. “Synthesis of Controllers from Interval Temporal Logic
Specification”. In: International Conference on Computer Design: VLSI in Computers and
Processors. IEEE Computer Society Press, 1993.
url: http://dx.doi.org/10.1109/ICCD.1993.393373.
Alastair R. Ruddle. “Formal Methods in the Specification of Real-Time, Safety-Critical
Control Systems”. In: Z User Workshop, London 1992. Ed. by J. P. Bowen and J. E. Nicholls.
Workshops in Computing. Springer Verlag, 1993, pp. 131–146. isbn: 3-540-19818-0.
url: http://dx.doi.org/10.1007/978-1-4471-3556-2_10.
He JiFeng and Jonathan Bowen. “Time Interval Semantics and Implementation of a Real-Time
Programming Language”. In: Proceedings of the 4-th Euromicro Workshop on Real-Time
Systems. IEEE Computer Society Press, 1992, pp. 110–115.
url: http://dx.doi.org/10.1109/EMWRT.1992.637480.
Shinji Kono. “Automatic Verification of Interval Temporal Logic”. In: 8th British Colloquium
For Theoretical Computer Science. 1992.
Y. Srivinas Ramakrishna, Laura K. Dillon, Louise E. Moser, Peter M. Melliar-Smith, and
George Kutty. “An Automata-theoretic decision procedure for Future Interval Logic”. In:
Proc. 12th FST& TCS. Vol. 652. Lecture Notes in Computer Science. Springer Verlag, Dec.
1992, pp. 51–67.
url: http://dx.doi.org/10.1007/3-540-56287-7_94.
Roger Hale. “Using temporal logic for prototyping: The design of a lift controller”. In: Temporal
Logic in Specification. Ed. by B. Banieqbal, H. Barringer, and A. Pnueli. Vol. 398. Lecture
Notes in Computer Science. Berlin: Springer Verlag, 1989, pp. 375–408.
url: http://dx.doi.org/10.1007/3-540-51803-7_35.
Danny Kilis, Albert C. Esterline, and James R. Slagle. “Specification and verification of
network protocols using executable temporal logic”. In: Proceedings of IFIP Congress ’89.
North Holland Publishing Co. Amsterdam, 1989, pp. 845–850.
Barbara Paech. “Gentzen-systems for propositional temporal logics”. In: Proceedings of the
2nd Workshop on Computer Science Logic, Duisburg (FRG). Ed. by E. Börger, H. Kleine
Büning, and M. M. Richter. Vol. 385. Lecture Notes in Computer Science. Springer Verlag,
Oct. 1988, pp. 240–253.
url: http://dx.doi.org/10.1007/BFb0026305.
Roger Hale and Ben C. Moszkowski. “Parallel Programming in Temporal Logic”. In: PARLE,
Parallel Architectures and Languages Europe, Volume II: Parallel Languages. Ed. by J. W. de
Bakker, A. J. Nijman, and Philip C. Treleaven. Vol. 259. Lecture Notes in Computer Science.
Eindhoven, The Netherlands: Springer Verlag, June 1987, pp. 277–296. isbn: 3-540-17945-3.
url: http://dx.doi.org/10.1007/3-540-17945-3_16.
Masahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, and Tatsuhiko
Moto-oka. “Using the temporal logic programming language Tokio for algorithm description
and automatic CMOS gate array synthesis”. In: Logic Programming ’85. Ed. by Eiiti Wada.
Vol. 221. Lecture Notes in Computer Science. Springer Verlag, 1986, pp. 246–255. isbn:
978-3-540-16479-1.
url: http://dx.doi.org/10.1007/3-540-16479-0_24.
Masahiro Fujita, Shinji Kono, Hidehiko Tanaka, and Tatsuhiko Moto-oka. “Tokio: Logic
programming language based on temporal logic and its compilation to Prolog”. In: Third
International Conference on Logic Programming. Ed. by Ehud Shapiro. Vol. 225. Lecture
Notes in Computer Science. Springer Verlag, 1986, pp. 695–709. isbn: 978-3-540-16492-0.
url: http://dx.doi.org/10.1007/3-540-16492-8_119.
Roni Rosner and Amir Pnueli. “A choppy logic”. In: First Annual IEEE Symposium on
Logic in Computer Science. IEEE Computer Society Press, June 1986, pp. 306–313. isbn:
0-8186-0720-3.
Shinji Kono, Tatsuya Aoyagi, Masahiro Fujita, and Hidehiko Tanaka. “Implementation of
Temporal Logic Programming Language Tokio”. In: Logic Programming ’85. Ed. by Eiiti
Wada. Vol. 221. Lecture Notes in Computer Science. Springer Verlag, 1985, pp. 138–147.
url: http://dx.doi.org/10.1007/3-540-16479-0_14.
Ben Moszkowski. “A temporal analysis of some concurrent systems”. In: The Analysis of
Concurrent Systems. Ed. by B. T. Denvir, W. T .Harwood, M. I. Jackson, and M. J. Wray.
Vol. 207. Lecture Notes in Computer Science. Berlin: Springer Verlag, 1985, pp. 359–364.
url: http://dx.doi.org/10.1007/3-540-16047-7_58.
Joseph Halpern, Zohar Manna, and Ben Moszkowski. “A hardware semantics based on
temporal intervals”. In: Proceedings of the 10-th International Colloquium on Automata,
Languages and Programming. Ed. by Josep Diaz. Vol. 154. Lecture Notes in Computer
Science. Berlin: Springer Verlag, 1983, pp. 278–291.
url: http://dx.doi.org/10.1007/BFb0036915.
Ben Moszkowski. “A temporal logic for multi-level reasoning about hardware”. In: Proceedings
of the 6-th International Symposium on Computer Hardware Description Languages.
Pittsburgh, Pennsylvania: North-Holland Pub. Co., May 1983, pp. 79–90.
Ben Moszkowski and Zohar Manna. “Reasoning in Interval Temporal Logic”. In: Proceedings
of the Workshop on Logics of Programs. Ed. by Edmund Clarke and Dexter Kozen. Vol. 164.
Lecture Notes in Computer Science. Pittsburgh, PA: Springer Verlag, June 1983, pp. 371–382.
isbn: 3-540-12896-4.
url: http://dx.doi.org/10.1007/3-540-12896-4_374.
Richard L. Schwartz, Peter M. Melliar-Smith, and Friedrich H. Vogt. “An Interval
Logic for Higher-Level Temporal Reasoning”. In: Proceedings of the Second Annual
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing. Aug. 1983,
pp. 173–186.
url: http://dx.doi.org/10.1145/800221.806720.