|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 58 occurrences of 37 keywords
|
|
|
Results
Found 63 publication records. Showing 63 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
109 | Jin Song Dong, Ping Hao, Jun Sun 0001, Xian Zhang 0007 |
A Reasoning Method for Timed CSP Based on Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 342-359, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
108 | John Derrick |
Timed CSP and Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 300-318, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Refinement, Object-Z, Timed CSP |
92 | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001 |
Timed Automata Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(6), pp. 844-859, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
77 | John J. Zic |
Time-Constrained Buffer Specifications in CSP+T and Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(6), pp. 1661-1674, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
real-time algebraic languages |
74 | Phillip J. Brooke, Richard F. Paige |
The Design of a Tool-Supported Graphical Notation for Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 299-318, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
process algebra, tool support, graphical notation, Timed CSP |
74 | Simeon Veloudis, Nimal Nissanke |
Modelling Coordinated Atomic Actions in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings, pp. 228-239, 2000, Springer, 3-540-41055-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
CA actions, real-time systems, safety-critical systems, Timed CSP |
65 | Carsten Sühl |
An Overview of the Integrated Formalism RT-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 94-110, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Embedded systems, Real-time, Formal methods, Z, Timed CSP |
58 | Xian Zhang, Yang Liu 0003, Mikhail Auguston |
Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010, pp. 217-226, 2010, IEEE Computer Society, 978-0-7695-4086-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Constraint Logic Programm, verifictaion, Security Protocol, extension, Timed CSP |
57 | Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante |
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 161-180, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Real-time Systems, Case Studies, Z, Time CSP |
49 | Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe 0001 |
Timed CSP: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 640-675, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Real-Time CSP, Timewise Refinement, Telephone Switching, Robotics, Concurrency, Temporal Logic, Specification and Verification, Control Software |
48 | Noriki Ogura, Keizo Saisho, Akira Fukuda |
Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 495-, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
process replication, distributed system, client-server system, formal description, Timed CSP |
43 | Wang Yi 0001, Bengt Jonsson 0001 |
Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings, pp. 243-255, 1994, Springer, 3-540-58715-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
42 | Jinzhao Wu, Shihan Yang |
Timed CSP for Safety Specification of Hybrid System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1913-1918, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | John Cooke, B. Tim Denvir |
Editorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 93, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante |
An Integrated Approach to Specification and Validation of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 278-299, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | William B. Gardner, Yuriy Solovyov |
Supporting Timed CSP Operators in CSP++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 89-106, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
35 | Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner |
Verifying the Implementation of an Operating System Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 285-286, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Kun Wei, Jim Woodcock 0001, Alan Burns 0001 |
Timed Circus: Timed CSP with the Miracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011, pp. 55-64, 2011, IEEE Computer Society, 978-0-7695-4381-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Joël Ouaknine, James Worrell 0001 |
Timed CSP = Closed Timed epsilon-automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 10(2), pp. 99-133, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
33 | Joël Ouaknine, James Worrell 0001 |
Timed CSP = Closed Timed Safety Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 142-159, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Brendan P. Mahony, Jin Song Dong |
Sensors and Actuators in TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1166-1185, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Brendan P. Mahony, Jin Song Dong |
Timed Communicating Object Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(2), pp. 150-177, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z |
25 | Lichen Zhang |
Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011, pp. 213-216, 2011, IEEE Computer Society, 978-1-4577-1487-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Real Time, Formal Method, Aspect-oriented, Object-Z, Cyber Physical Systems, Timed-CSP |
23 | Ming Zhu, Xiaoliu Cui, Guodong Fan |
Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ubiquitous Syst. Pervasive Networks ![In: J. Ubiquitous Syst. Pervasive Networks 11(1), pp. 1-9, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Ming Zhu, Jing Li 0092, Guodong Fan, Kunsheng Zhao |
Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSPN/ICTH ![In: The 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018) / The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2018) / Affiliated Workshops, November 5-8, 2018, Leuven, Belgium., pp. 48-55, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu |
Formal Verification of Behavioral AADL Models by Stateful Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 5, pp. 27421-27438, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, Bill Roscoe |
Model checking Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOWARD-60 ![In: HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, pp. 13-33, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Lloyd Roberts, Mike Smith, Faron Moller, Markus Roggenbach |
Visualising Timed CSP Train Simulations for Capacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPCG ![In: Theory and Practice of Computer Graphics, Leeds, United Kingdom, 2014. Proceedings, pp. 91-93, 2014, Eurographics Association, 978-3-905674-70-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Qinwen Ran, Xi Wu 0005, Xin Li 0010, Jianqi Shi, Jian Guo 0005, Huibiao Zhu |
Modeling and Verifying the TTCAN Protocol Using Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 90-97, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu 0012, Ling Shi, Étienne André |
Modeling and verifying hierarchical real-time systems using stateful timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 22(1), pp. 3:1-3:29, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | A. W. Roscoe 0001, Jian Huang |
Checking noninterference in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 25(1), pp. 3-35, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Yuanjie Si, Jun Sun 0001, Yang Liu 0003, Ting Wang 0004 |
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings, pp. 182-198, 2013, Springer, 978-3-642-41201-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Paul Howells, Mark d'Inverno |
Successful Termination in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 21-38, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, pp. 398-413, 2012, Springer, 978-3-642-34280-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira 0001 |
A Timed CSP Model for the Time-Triggered Language Giotto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012, pp. 110-119, 2012, IEEE Computer Society, 978-1-4673-5574-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach |
Safety and Line Capacity in Railways - An Approach in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 54-68, 2012, Springer, 978-3-642-30728-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Oguzcan Oguz, Jan F. Broenink, Angelika Mader |
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 65-88, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Björn Bartels, Sabine Glesner |
Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Vietnam, December 5-8, 2011, pp. 195-202, 2011, IEEE Computer Society, 978-1-4577-2199-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Takeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga |
Development of an ML-based Verification Tool for Timed CSP Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 363-375, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Göthel, Sabine Glesner |
An approach for machine-assisted verification of Timed CSP specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 6(3), pp. 181-193, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007 |
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 581-600, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Göthel, Sabine Glesner |
Machine-Checkable Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., pp. 126-135, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
23 | Joël Ouaknine, Steve A. Schneider |
Timed CSP: A Retrospective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APC 25 ![In: Proceedings of the Workshop `Essays on Algebraic Process Calculi`, APC 25, Bertinoro, Italy, August 1-5, 2005, pp. 273-276, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Carsten Sühl |
An integration of Z and Timed CSP for specifying real time embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
23 | N. Petalidis, D. S. Gill |
Introducing monitoring events to timed-CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEE Proc. Softw. ![In: IEE Proc. Softw. 148(1), pp. 19-29, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Carsten Sühl |
RT-Z: An Integration of Z and timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, pp. 29-48, 1999, Springer, 1-85233-107-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Brendan P. Mahony, Jin Song Dong |
Blending Object-Z and Timed CSP: An Introduction to TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 19-25, 1998., pp. 95-104, 1998, IEEE Computer Society, 0-8186-8368-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Luming Lai, Phil Watson |
A Case Study in Timed CSP: The Railroad Crossing Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HART ![In: Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings, pp. 69-74, 1997, Springer, 3-540-62600-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Ahmet Feyzi Ates, Murat Bilgic, Senro Saito, Behçet Sarikaya |
Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 14(1), pp. 126-137, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Peter G. O'Donoghue, M. Elizabeth C. Hull |
Using timed CSP during object oriented design of real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 38(2), pp. 89-102, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Jim Davies, Steve A. Schneider |
A Brief History of Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 138(2), pp. 243-271, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Gavin Lowe |
Probabilistic and Prioritized Models of Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 138(2), pp. 315-352, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Steve A. Schneider |
An Operational Semantics for Timed CSP ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 116(2), pp. 193-213, February 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Homayoun Dayani-Fard, Andrew J. Malton |
Phased development of critical real-time systems in timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada, pp. 17, 1995, IBM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
23 | Andrew Kay, Joy N. Reed |
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(6), pp. 625-639, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing |
23 | Gavin Lowe |
Probabilities and priorities in timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
23 | Jim Davies, Steve A. Schneider |
Factorizing Proofs in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 129-159, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
An XML/XSL Approach to Visualize and Animate TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 453-460, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
specification animation, XML/XSL, UML, Formal methods, XMI, TCOZ, Oz |
19 | Jing Liu, Jin Song Dong, Jing Sun 0002 |
TRMCS in TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 63-74, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
real-time modeling, formal specification, CSP, Z, TCOZ |
13 | Tim Miller 0001, Peter McBurney |
Multi-agent System Specification Using TCOZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings, pp. 216-221, 2005, Springer, 3-540-28740-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Simeon Veloudis, Nimal Nissanke |
An approach to modelling and analysis of coordinated atomic actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2005, Catania, Italy, 2005, IEEE, 0-7803-9401-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Carsten Sühl |
Applying RT-Z to Develop Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 51-65, 2000, Springer, 3-540-67261-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Paritosh K. Pandya, Dang Van Hung |
Duration Calculus of Weakly Monotonic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, pp. 55-64, 1998, Springer, 3-540-65003-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #63 of 63 (100 per page; Change: )
|
|