Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Hong Anh Le, Ninh-Thuan Truong |
Modeling and Verifying WS-CDL Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCASA ![In: Context-Aware Systems and Applications - First International Conference, ICCASA 2012, Ho Chi Minh City, Vietnam, November 26-27, 2012, Revised Selected Papers, pp. 290-299, 2012, Springer, 978-3-642-36641-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier, Lei Zhang 0200, Marianne Huchard, Bernard Coulette |
Dedal-CDL: Modeling First-class Architectural Changes in Dedal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA/ECSA ![In: 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, WICSA/ECSA 2012, Helsinki, Finland, August 20-24, 2012, pp. 272-276, 2012, IEEE, 978-1-4673-2809-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Yunni Xia, Gang Dai, Jia Li 0029, Tianhao Sun, Qingsheng Zhu |
A model-driven approach to predicting dependability of WS-CDL based service composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 23(10), pp. 1127-1145, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Hongbing Wang, Zuling Kang, Ning Zhou, Li Li 0006 |
A model checker for WS-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 83(10), pp. 1651-1661, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li |
Model and Verification of WS-CDL Based on UML Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 20(8), pp. 1119-1149, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen |
Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: 5th IEEE Asia-Pacific Services Computing Conference, APSCC 2010, 6-10 December 2010, Hangzhou, China, Proceedings, pp. 676-682, 2010, IEEE Computer Society, 978-0-7695-4305-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Jinbao Zhang 0003, Zaichen Zhang, Xiaoyan Wang, Zhenhui Tan, Qiang Guo |
A simulated method of modeling wireless channel based on CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCSP ![In: International Conference on Wireless Communications and Signal Processing, WCSP 2010, Suzhou, China, 21-23 October, 2010, pp. 1-4, 2010, IEEE, 978-1-4244-7556-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Yi Liu, Xiuwu Wang, Yunni Xia, Tianhao Sun |
Modeling and Reliability Prediction of WS-CDL Based Service Composition, a Petri-Net-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: The Fifth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010, June 4-5, 2010, Nanjing, China, pp. 280-285, 2010, IEEE Computer Society, 978-0-7695-4081-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Yunni Xia, Hongchao Xue, Xiuwu Wang |
Performance Prediction of WS-CDL Based Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010, pp. 294-299, 2010, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Valentín Valero, Gregorio Díaz 0001, María-Emilia Cambronero, Hermenegilda Macià |
A barred operational semantics for a subset of WS-CDL with time restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 78(8), pp. 730-748, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Geguang Pu, Zheng Wang 0005, Lei Zhou 0007, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun |
Static validation of WS-CDL documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 17(8), pp. 1367-1377, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Karthikeyan Umapathy |
From Service Conversation Models to WS-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: Proceedings of the 15th Americas Conference on Information Systems, AMCIS 2009, San Francisco, California, USA, August 6-9, 2009, pp. 542, 2009, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
22 | Giner Alor-Hernández, Isaac Machorro-Cano, Juan Miguel Gómez 0001, Jesús Cruz Ahuactzi, Rubén Posada-Gómez, Myriam Mencke, Ulises Juárez-Martínez |
Mapping UML Diagrams for Generating WS-CDL Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDS ![In: Third International Conference on the Digital Society (ICDS 2009), February 1-7, 2009, Cancun, Mexico, pp. 229-234, 2009, IEEE Computer Society, 978-0-7695-3526-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Zuling Kang, Hongbing Wang |
Verifying WS-CDL-Based Web Services Collaboration by Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES I ![In: 2009 IEEE Congress on Services, Part I, SERVICES I 2009, Los Angeles, CA, USA, July 6-10, 2009, pp. 554-561, 2009, IEEE Computer Society, 978-0-7695-3708-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Mehdi Etehadi, Farhad Mardukhi, Naser Nematbakhsh |
A graphical representation for WS-CDL supporting multi levels of abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: 4th IEEE Asia-Pacific Services Computing Conference, IEEE APSCC 2009, Singapore, December 7-11 2009, Proceedings, pp. 366-371, 2009, IEEE, 978-1-4244-5336-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | María-Emilia Cambronero, Gregorio Díaz 0001, Enrique Martínez, Valentín Valero |
A Comparative Study between WSCI, WS-CDL, and OWL-S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2009 IEEE International Conference on e-Business Engineering, ICEBE 2009, Macau, China, 21-23 October 2009, pp. 377-382, 2009, IEEE Computer Society, 978-0-7695-3842-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Wing Lok Yeung |
Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2009, 14-15 December 2009, Taipei, Taiwan, pp. 1-8, 2009, IEEE Computer Society, 978-1-4244-5300-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Roshan K. Thomas, Giovanni Russello, Simon Tsang |
Realizing the CDL Cross-Domain Language in the Ponder2 Policy Framework: Experiences and Research Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: POLICY 2009, IEEE International Symposium on Policies for Distributed Systems and Networks, London, UK, 20-22 July 2009, pp. 76-83, 2009, IEEE Computer Society, 978-0-7695-3742-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Samira Tasharofi, Marjan Sirjani |
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA@ICALP ![In: Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008, pp. 155-174, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Vladimir J. Sykora, David E. Leahy |
Chemical Descriptors Library (CDL): A Generic, Open Source Software Library for Chemical Informatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 48(10), pp. 1931-1942, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Jan Mendling, Michael Hafner |
From WS-CDL choreography to BPEL process orchestration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Enterp. Inf. Manag. ![In: J. Enterp. Inf. Manag. 21(5), pp. 525-542, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Kirk Hastings, Martin Haye, Lisa R. Schiff |
Publishing with the CDL's eXtensible Text Framework (XTF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELPUB ![In: Open Scholarship: Authority, Community, and Sustainability in the Age of Web 2.0 - Proceedings of the 12th International Conference on Electronic Publishing held in Toronto, Canada, 25-27 June 2008, Proceedings, pp. 432, 2008, 978-0-7727-6315-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
22 | Fulvio Mastrogiovanni, Antonello Scalmato, Antonio Sgorbissa, Renato Zaccaria |
CDL: an Integrated Framework for Context Specification and Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pp. 246-250, 2008, IOS Press, 978-1-58603-891-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Koichi Itoh, Masashi Yamazaki, Shinji Nakamura, Yasuo Nagazumi |
An Attempt Towards Charge-Domain Logic (CDL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISS ![In: Proceedings of the 41st Annual Conference on Information Sciences and Systems, CISS 2007, 14-16 March 2007, Johns Hopkins University, Department of Electrical Engineering, Baltimore, MD, USA, pp. 732-736, 2007, IEEE, 1-4244-1037-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Gero Decker, Hagen Overdick, Johannes Maria Zaha |
On the Suitability of WS-CDL for Choreography Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMISA ![In: EMISA 2006 - Methoden, Konzepte und Technologien für die Entwicklung von dienstbasierten Informationssystemen, Beiträge des Workshops der GI-Fachgruppe Entwicklungsmethoden für Informationssysteme und deren Anwendung (EMISA), 17.-18. Oktober 2006 in Hamburg, pp. 21-33, 2006, GI, 978-3-88579-189-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
22 | Michael Hafner, Ruth Breu |
Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 39-53, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Anne Kilger, Peter Poller |
CDL-TAGs: A grammar formalism for flexible and efficient syntactic generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAG+ ![In: Proceedings of the Fifth International Workshop on Tree Adjoining Grammar and Related Frameworks, TAG+ 2000, Université Paris 7, France, May 25-27, 2000, pp. 249-252, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
22 | Christian Hochberger, Rolf Hoffmann, Ralf Schneider |
The parallel program development environment CDL/ACL for cellular processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 45(1), pp. 83-96, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Wolfgang Reissenberger |
CDL - eine Logik für unendliche nebenläufige Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
22 | Christian Hochberger |
CDL: eine Sprache für die Zellularverarbeitung auf verschiedenen Zielplattformen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
22 | Christian Hochberger |
Automatic Generation of two Phased Models with CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parcella ![In: Parcella 1996, VII. International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, Germany, September 16-20, 1996, Proceedings, pp. 302-303, 1996, Akademie Verlag, Berlin, 3-05-501750-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
22 | Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt |
Compilation of CDL for Different Target Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 3rd International Conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995, Proceedings, pp. 169-179, 1995, Springer, 3-540-60222-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Leo Yuhsiang Liu, R. K. Shyamasundar |
RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 20(1), pp. 1-23, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Robert John Gautier, Huw Oliver, Mark B. Ratcliffe 0001, Ben R. Whittle |
CDL - a Component Description Language for Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 3(4), pp. 499-518, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Leo Yuhsiang Liu, R. K. Shyamasundar |
Exception Handling in RT-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 15(3), pp. 177-192, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Leo Yuhsiang Liu, R. K. Shyamasundar |
RT-CDL: A Real Time Design Language and Its Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28 - September 1, 1989., pp. 21-26, 1989, North-Holland/IFIP, 0-444-88015-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
22 | Leo Yuhsiang Liu, R. K. Shyamasundar |
An operational semantics of real time design language RT-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989, pp. 75-82, 1989, ACM, 978-0-89791-305-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Joiko |
Aspekte der Architektur von Systemsoftware-Produktions-Umgebungen exemplarisch dargestellt am CDL(D)-Programmentwicklungsplatz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
22 | Uwe Firus |
Zielcodebeschreibung in CDL (D). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
22 | Friedhelm Mündemann, Winfried Hahn, Kristian Fischer 0002 |
Das Monitor-Konzept der Sprache CDLM: Ein Werkzeug zur Optimierung der Entwurfsverifikation durch vergleichende Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulationstechnik ![In: Simulationstechnik, 2. Symposium Simulationstechnik, Wien, 25.-27. September 1984, Proceedings, pp. 133-138, 1984, Springer, 3-540-13393-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Joiko |
Attributierte Transformationsgrammatiken zur Beschreibung der Zielcodeoptimierung von CDL-Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1984 |
RDF |
|
22 | Winfried Hahn |
Computer Design Language - Version Munich (CDLM): A Multi-Level Simulation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 207-212, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
22 | Hans-Jörg Jäkel, Hans Loeper, H. Pietsch, G. Stiller |
A Portable ALGOL 68 Implementation for Minicomputers Developed Using the CDL Compiler Compiler Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, pp. 937-942, 1983, North-Holland/IFIP, 0-444-86729-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
22 | Winfried Hahn |
Computer Design Language - Version Munich (CDLM) a modern multi-level language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 20th Design Automation Conference, DAC '83, Miami Beach, Florida, USA, June 27-29, 1983, pp. 4-11, 1983, ACM/IEEE, 0-8186-0026-8. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
22 | Winfried Hahn |
Computer Design Language - Version Munich (CDLM): Eine moderne Rechnerentwurfsssprache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings, pp. 58-72, 1982, Springer, 3-540-11609-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
22 | Michael Fischer 0009 |
Entwurf und Implementierung eines Multitasking-Modells in CDL, ein Beitrag zur Echtzeitprogrammierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1981 |
RDF |
|
22 | Wolfgang Otter |
Methoden zur Optimierung von CDL-Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1981 |
RDF |
|
22 | Thomas Haenel |
CDL - ein Rationalisierungsmittel für die Systemprogrammierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1980 |
RDF |
|
22 | J. Robert Heath, Bill D. Carroll, Terry T. Cwik |
CDL - A tool for concurrent hardware and software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 14th Design Automation Conference, DAC '77, New Orleans, Louisiana, USA, June 20-22, 1977, pp. 445-449, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
22 | Cornelis H. A. Koster |
Using the CDL Compiler-Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compiler Construction ![In: Compiler Construction, An Advanced Course, 2nd ed., pp. 366-426, 1976, Springer, 3-540-07542-9. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
22 | Yaohan Chu |
Introducing CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 7(12), pp. 31-33, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
22 | Chitoor V. Srinivasan |
A discussion of CDLI, a computer description language and associated design aid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 6th annual Design Automation Conference, DAC '69, Miami Beach, Florida, USA, June 8-12, 1969, pp. 383, 1969, ACM. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
|
14 | Masahiro Tanaka, Toru Ishida 0001, Yohei Murakami, Satoshi Morimoto |
Service Supervision: Coordinating Web Services in Open Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 238-245, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Gwen Salaün, Tevfik Bultan |
Realizability of Choreographies Using Process Algebra Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 167-182, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry |
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 438-452, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
context description, property patterns, model checking, Formal methods, observers, timed automata |
14 | Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang |
Correct Channel Passing by Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 338-354, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Channel passing, Web Services, Formal Methods, Orchestration, Choreography |
14 | Yanxiang He, Liang Zhao, Zhao Wu, Fei Li 0007 |
Modeling Web Services Composition with Transaction Extension for Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 476-481, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Hongbing Wang, Hui Liu, Xiaohui Guo |
An Efficient Approach to Compose Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence/IAT Workshops ![In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia, pp. 538-541, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed Othman, Monir Abdullah, Hamidah Ibrahim, Shamala Subramaniam |
A2DLT: Divisible Load Balancing Model for Scheduling Communication-Intensive Grid Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I, pp. 246-253, 2008, Springer, 978-3-540-69383-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Load Balancing, Data Grid, Divisible Load Theory |
14 | Yanxiang He, Liang Zhao, Zhao Wu, Fei Li 0007 |
Formal Modeling of Transaction Behavior in WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (3) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security, December 12-14, 2008, Wuhan, China, pp. 490-494, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Surya Nepal, John Zic, Shiping Chen 0001 |
A Contract Language for Service-Oriented Dynamic Collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom ![In: Collaborative Computing: Networking, Applications and Worksharing, 4th International Conference, CollaborateCom 2008, Orlando, FL, USA, November 13-16, 2008, Revised Selected Papers, pp. 545-562, 2008, Springer / ICST, 978-3-642-03353-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Howard Foster, Philip Mayer |
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 72-77, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model-Based Verification, Modelling, SOA, Validation, Tools, Services, Eclipse |
14 | Mario Bravetti, Gianluigi Zavattaro |
Contract Compliance and Choreography Conformance in the Presence of Message Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers, pp. 37-54, 2008, Springer, 978-3-642-01363-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Marc Alier Forment, Pablo Casado Arias, María José Casany Guerrero |
J2MEMicroDB: an open source distributed database engine for mobile applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 231-235, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
distributed client applications, ubiquitous information access, mobile devices, data management, storage, distributed software development |
14 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Test and Analysis of Web Services ![In: Test and Analysis of Web Services, pp. 87-119, 2007, Springer, 978-3-540-72912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Marco Carbone, Kohei Honda 0001, Nobuko Yoshida |
Structured Communication-Centred Programming for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 2-17, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Oleg Mürk, Daniel Larsson, Reiner Hähnle |
KeY-C: A Tool for Verification of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 385-390, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu |
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 81-96, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Projection, Exception Handling, Orchestration, Choreography, Compensation, Finalization |
14 | Muhammad Younas 0001, Irfan Awan, Robert Holton, David A. Duce |
A P2P Network Protocol for Efficient Choreography of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), May 21-23, 2007, Niagara Falls, Canada, pp. 839-846, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ramtin Kazemi, Mohammad Hossien Yaghmaee, Jalil Chitizadeh |
Three Dimension QoS Deviation based Scheduling in Adaptive Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), May 21-23, 2007, Niagara Falls, Canada, pp. 588-595, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi |
Web Service Composition Approaches: From Industrial Standards to Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, pp. 15, 2007, IEEE Computer Society, 0-7695-2844-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | María-Emilia Cambronero, Gregorio Díaz 0001, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo |
RT-UML for modeling Real-Time Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCW ![In: Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 131-139, 2006, IEEE Computer Society, 0-7695-2681-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Pablo David Villarreal, Enrique Salomone, Omar Chiotti |
Transforming Collaborative Business Process Models into Web Services Choreography Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEECS ![In: Data Engineering Issues in E-Commerce and Services, Second International Workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006, Proceedings, pp. 50-65, 2006, Springer, 3-540-35440-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Jae-Yoon Jung 0001, Jonghun Park, Seung-Kyun Han, Kangchan Lee |
Event-Based Peer-to-Peer Process Enactment for Ubiquitous Web Service Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings, pp. 387-399, 2006, Springer, 3-540-38444-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Peer-to-peer process, web services eventing, ubiquitous computing, Event-Condition-Action rules |
14 | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella |
Interaction Protocols and Capabilities: A Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSWR ![In: Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers, pp. 63-77, 2006, Springer, 3-540-39586-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yong Shim, Youngkwon Jo, Soo Hwan Kim, Suki Kim, Kwanjun Cho |
A register controlled delay locked loop using a TDC and a new fine delay line scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Carlo Montangero, Laura Semini |
A Logical View of Choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 179-193, 2006, Springer, 3-540-34694-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Donka S. Angelova, Lyudmila Mihaylova |
Extended Object Tracking Using Mixture Kalman Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Methods and Applications ![In: Numerical Methods and Applications, 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers, pp. 122-130, 2006, Springer, 978-3-540-70940-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Giuseppe De Giacomo, Massimo Mecella |
Automatic Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2006 IEEE International Conference on Services Computing (SCC 2006), 18-22 September 2006, Chicago, Illinois, USA, 2006, IEEE Computer Society, 0-7695-2670-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro |
Choreography and Orchestration: A Synergic Approach for System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings, pp. 228-240, 2005, Springer, 3-540-30817-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Gorrieri, Claudio Guidi, Roberto Lucchi |
Reasoning About Interaction Patterns in Choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW/WS-FM ![In: Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings, pp. 333-348, 2005, Springer, 3-540-28701-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Jianwen Su |
Web Service Interactions: Analysis and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 3, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Leveraging Eclipse for integrated model-based engineering of web service compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, ETX 2005, San Diego, California, USA, October 16-17, 2005, pp. 95-99, 2005, ACM, 1-59593-342-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in |
14 | Yunyun Shen, Boyue Yao, Xiangyun Feng |
Descriptive Metadata Structure and Extended Rules: A Case Study on Ancient Atlases Metadata Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICADL ![In: Digital Libraries: International Collaboration and Cross-Fertilization, 7th International Conference on Asian Digital Libraries, ICADL 2004, Shanghai, China, December 13-17, 2004, Proceedings, pp. 662, 2004, Springer, 3-540-24030-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Xianghua Xu, Jiajun Bu, Chun Chen 0001, Yong Li 0004 |
Distributed Dynamic-Locking in Real-Time Collaborative Editing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation and Use: 10th International Workshop, CRIWG 2004, San Carlos, Costa Rica, September 5-9, 2004. Proceedings, pp. 271-280, 2004, Springer, 3-540-23016-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski |
An Approach to Trust Case Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, pp. 193-206, 2003, Springer, 3-540-20126-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov |
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, pp. 356-383, 2002, Springer, 3-540-00708-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Willem-Jan van den Heuvel, Jos van Hillegersberg, Wilhelm Hasselbring, Kuldeep Kumar |
Enterprise Application Integration - Minitrack Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Axel Mönkeberg, René Rakete |
Three for one: role-based access-control management in rapidly changing heterogeneous environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Workshop on Role-Based Access Control ![In: Fifth ACM Workshop on Role-Based Access Control, RBAC 2000, Berlin, Germany, July 26-27, 2000, pp. 83-88, 2000, ACM, 1-58113-259-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Wen-Gong Chen, Chen-Sen Ouyang, Shie-Jue Lee |
Using Competitive Learning in Neural Networks for Cluster-Detection-and-Labeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings, pp. 492-493, 1999, Springer, 3-540-66822-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | David Zhang 0001, Mohamed I. Elmasry |
VLSI compressor design with applications to digital neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 5(2), pp. 230-233, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Laura Giordano 0001 |
Defining Variants of Default Logic: a Modal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 59-68, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Lidong Chen, Ivan Damgård |
Security Bounds for Parallel Versions of Identification Protocols (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '92, Workshop on the Theory and Application of of Cryptographic Techniques, Balatonfüred, Hungary, May 24-28, 1992, Proceedings, pp. 461-466, 1992, Springer, 3-540-56413-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Cornelis H. A. Koster, Jean Beney |
On the Borderline Between Grammars and Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 219-230, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Hartmut Feuerhahn |
A data-flow driven resource allocation in a retargetable microcode compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 21st Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1988, San Diego, California, USA, November 28 - December 2, 1988, pp. 105-107, 1988, ACM/IEEE, 0-8186-1919-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
14 | Michael Sonnenschein |
Graph Translation Schemes to Generate Compiler Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 9(4), pp. 473-490, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|