SDL Mailing List Archive (2000-2013)
By Author

• a96-3744#students.ee.upatras.gr
  • SDL-News: Process Instances (Tue Apr 11 2000 - 15:13:15 GMT)
  • SDL-News: Timers (Thu Apr 06 2000 - 14:35:17 GMT)
  • SDL-News: Arrays (Fri Mar 31 2000 - 15:26:24 GMT)
• Ajai James
  • SDL-News: How is Nondeterminism in SDL practically useful? (Mon Jun 26 2000 - 12:57:03 GMT)
• Alain Servais
  • SDL-News: Problem with TYPE between C and SDL (Wed Jun 18 2003 - 16:40:13 GMT)
• Albert Enshtein
  • SDL-News: Code Generator (Mon Mar 03 2003 - 09:48:42 GMT)
• Albert Tyson
  • SDL-News: SDL/PR to SDL/GR conversion (Mon Jul 10 2000 - 16:17:43 GMT)
• Alexander B. Petrov
  • SDL-News: Ethernet (IEEE 802.3) in SDL (Tue Mar 07 2000 - 09:52:18 GMT)
• Allan Weber
  • Re: SDL-News: Modelling of unreliable transmission medium in Tau SDT (Thu Jan 01 1998 - 05:13:07 GMT)
  • SDL-News: Modelling of unreliable transmission medium in Tau SDT (Tue Dec 09 2003 - 16:19:31 GMT)
• Anders
  • SV: SDL-News: Inheritance (Mon Aug 18 2003 - 21:00:51 GMT)
  • SV: SDL-News: Inheritance (Sun Aug 17 2003 - 21:24:15 GMT)
• Anders Ek
  • Re: SDL-News: virtual classes in CIF TypeReference (Mon Jun 28 2004 - 09:19:52 GMT)
• Anders Olsen
  • SV: SDL-News: Doldi's book example with Cinderella (Mon Sep 22 2003 - 10:11:28 GMT)
  • SV: SDL-News: Recursive Procedure in SDL (Tue Apr 09 2002 - 20:28:29 GMT)
  • SV: SDL-News: Stacks in SDL (Sun Feb 25 2001 - 13:27:39 GMT)
• Andreas Metzger
  • Re: SDL-News: How to accelerate the SDL simulations (Thu Mar 18 2004 - 16:40:02 GMT)
  • Re: SDL-News: How to accelerate the SDL simulations (Thu Mar 18 2004 - 14:20:05 GMT)
  • Re: FW: SDL-News: Timers (Tue Mar 02 2004 - 09:49:29 GMT)
  • Re: SDL-News: Integration of an SDL System in QNX (Tue Jul 25 2000 - 16:52:15 GMT)
• Andreas Prinz
  • Re: SDL-News: Gates and Block Substructure (fwd) (Wed Nov 16 2005 - 08:13:14 GMT)
  • Re: SDL-News: Gates and Block Substructure (Tue Nov 15 2005 - 07:25:50 GMT)
  • Re: SDL-News: Timers again (Thu Mar 04 2004 - 07:19:53 GMT)
  • SDL-News: Re: [SDLTF-Members] SAVE: Request for additional feedback (Fri Jan 09 2004 - 08:02:31 GMT)
  • SDL-News: Flushing the SAVEd signals (Fri Jan 09 2004 - 07:43:02 GMT)
• Andreia
  • SDL-News: particular case of parallelism specification (Fri Oct 10 2003 - 17:00:33 GMT)
• Anthony Rouaux
  • SDL-News: size of an array (Wed Jan 03 2001 - 13:40:20 GMT)
  • SDL-News: c header file inclusion (Tue Jan 02 2001 - 14:29:10 GMT)
  • SDL-News: instances of blocks (Wed Dec 20 2000 - 18:43:20 GMT)
  • SDL-News: time conversion (Fri Dec 15 2000 - 08:29:02 GMT)
• Anthony Weber
  • RE: SDL-News: How to get PId of processes instantiated from a process type (Fri May 14 2004 - 16:10:58 GMT)
  • RE: SDL-News: How to accelerate the SDL simulations (Thu Mar 18 2004 - 14:40:16 GMT)
  • FW: SDL-News: Timers (Mon Mar 01 2004 - 16:13:57 GMT)
  • SDL-News: Flushing Signals using SAVE (Mon Jan 12 2004 - 14:31:44 GMT)
  • RE: SDL-News: Using the content of a string as a literal (Thu Aug 14 2003 - 04:33:37 GMT)
• Azadeh Abdolrazaghi
  • SDL-News: C++ code (Tue Feb 25 2003 - 12:36:21 GMT)
• Barker, Presley
  • RE: SDL-News: time conversion (Mon Dec 18 2000 - 14:14:20 GMT)
• Bhaskar Rao
  • RE: SDL-News: how to define a Queue? (Mon Aug 14 2000 - 03:52:18 GMT)
• Bi Hai
  • SDL-News: SDL question (Thu Nov 23 2000 - 03:14:37 GMT)
  • SDL-News: how to define a Queue? (Thu Aug 10 2000 - 02:01:26 GMT)
  • SDL-News: a problem about SDL instance (Fri Jul 14 2000 - 03:14:02 GMT)
• Bruneau, Sylver
  • SDL-News: How to create a "modulus type" (Wed Feb 07 2001 - 14:14:55 GMT)
  • RE: SDL-News: syntax for the enabling condition (Tue Nov 28 2000 - 09:56:51 GMT)
  • SDL-News: Light Integration VS Tight Integration (Wed Oct 04 2000 - 16:12:57 GMT)
• Carsten Krueger
  • RE: SDL-News: Choice Primary (Tue May 15 2001 - 11:15:18 GMT)
  • SDL-News: Choice Primary (Tue May 15 2001 - 09:17:44 GMT)
• Cenk TUGCETIN
  • RE: SDL-News: Integration of SDL application with non-SDL applica tion in Telelogic (Wed Jan 17 2001 - 07:18:40 GMT)
  • RE: SDL-News: Two SDL systems on the same target platform (Tue Jul 04 2000 - 11:46:18 GMT)
  • RE: SDL-News: Two SDL systems on the same target platform (Mon Jul 03 2000 - 07:10:32 GMT)
• chengkaihe#sohu.com
  • SDL-News: deal with the concurrency in practice (Tue May 20 2003 - 01:16:34 GMT)
• Christian Fluegel
  • RE: SDL-News: Tau Validator locks up (Tue Aug 26 2003 - 12:02:04 GMT)
  • SDL-News: Tau Validator locks up (Mon Aug 25 2003 - 23:32:55 GMT)
• chuck.lutz#telelogic.com
  • SDL-News: Design Patterns for SDL? (Thu Jul 27 2000 - 19:27:21 GMT)
• Cris Fuhrman
  • RE: SDL-News: Assert and Progress in Tau 4.4 (Tue Mar 02 2004 - 23:08:25 GMT)
  • SDL-News: Assert and Progress in Tau 4.4 (Mon Mar 01 2004 - 23:55:02 GMT)
  • RE: SDL-News: Output semantics, "several possible paths" (Tue Jun 03 2003 - 00:29:33 GMT)
  • SDL-News: Output semantics, "several possible paths" (Fri May 30 2003 - 19:46:47 GMT)
  • SDL-News: Modeling message loss in SDL (Wed May 28 2003 - 20:35:27 GMT)
• D Wang, Electrical & Electronic Engineering
  • SDL-News: problems towards real concurrent simulations for SDL systems (Mon Jan 24 2005 - 11:38:44 GMT)
  • SDL-News: model n clients and m servers, i.e. many instances? (Tue Oct 12 2004 - 14:39:17 GMT)
  • SDL-News: How to build a bounded queue in SDL? (Thu Jul 22 2004 - 09:22:00 GMT)
  • SDL-News: how can a queue in SDL (or queue in C which can be used in TAU) delay each signal without specifying the signal names? (Tue Jul 20 2004 - 09:28:54 GMT)
  • SDL-News: How are "Shared-memory" and "Message passing" expressed differently in SDL? (Mon Mar 17 2003 - 18:47:06 GMT)
• Daniel Amyot
  • SDL-News: URN tool: jUCMNav 4.2.0 now available! (Tue Jan 12 2010 - 16:25:13 GMT)
  • SDL-News: URN tool: jUCMNav 4.1.0 now available! (Mon Nov 16 2009 - 17:21:50 GMT)
  • SDL-News: URN tool: jUCMNav 4.0.0 now available! (Wed Oct 07 2009 - 12:38:03 GMT)
• David Anthony Forrest
  • SDL-News: Example Implementation of a Routing Protocol in SDL (Thu Dec 07 2000 - 18:13:57 GMT)
• Deja User
  • SDL-News: Does signal saving prevent continuos signal triggering? (Wed Jan 17 2001 - 20:19:21 GMT)
• Dhillon, Harry S (Harry)
  • RE: SDL-News: SDL model for WiMax (Tue May 30 2006 - 19:04:06 GMT)
  • SDL-News: How to represent bytes? (Fri May 30 2003 - 14:08:56 GMT)
• doldi.laurent#wanadoo.fr
  • RE: SDL-News: SDL model for WiMax (Wed May 31 2006 - 19:05:15 GMT)
  • Re: SDL-News: SDL model for WiMax (Tue May 30 2006 - 18:52:17 GMT)
  • Re: SDL-News: Gates and Block Substructure (Tue Nov 15 2005 - 21:15:11 GMT)
  • Re: SDL-News: Inheritance and Parameters (Wed Sep 10 2003 - 07:58:21 GMT)
  • Re: SDL-News: Tau Validator locks up (Tue Aug 26 2003 - 07:09:04 GMT)
  • Re: SDL-News: Inheritance (Thu Aug 21 2003 - 20:40:08 GMT)
  • Re: SDL-News: Inheritance (Thu Aug 21 2003 - 10:27:00 GMT)
  • SDL-News: real-time simul. and time on microcontroller (Sun Feb 23 2003 - 18:07:49 GMT)
  • Re: SDL-News: Operator I defined can't be converted to C (Thu Feb 20 2003 - 08:52:21 GMT)
• doru_botez#vtech.com
  • SDL-News: Telelogic's free Tau SDL Standards Viewer (Mon Sep 15 2003 - 02:43:40 GMT)
• duanhg
  • SDL-News: Questrion about data pointer used in TTCN (Tue Apr 08 2003 - 13:51:34 GMT)
• DUBOIS Fabrice FTRD/DTL/LAN
  • RE: SDL-News: Inheritance and Parameters (Wed Sep 10 2003 - 08:09:41 GMT)
  • RE: SDL-News: Previous Nextstate Symbol (Wed Sep 03 2003 - 12:32:15 GMT)
  • RE: SDL-News: Need help for SDL Timer (Mon Jul 28 2003 - 13:10:16 GMT)
  • RE: SDL-News: is it possible sending signal like C/C++ struct? (Wed Apr 23 2003 - 08:02:03 GMT)
• DUBUISSON Olivier
  • SDL-News: ITU-T Rec. X.208 and X.209 are now deleted (Thu Oct 31 2002 - 08:39:40 GMT)
• Eckhardt Holz
  • Re: SDL-News: SDL2000 "this" concept (Mon Feb 23 2004 - 11:59:34 GMT)
  • Re: SDL-News: sub-state machine and persistent state (Thu Feb 13 2003 - 09:55:41 GMT)
  • Re: SDL-News: Import/Export - reg (Wed Jun 13 2001 - 13:11:37 GMT)
  • Re: SDL-News: Import/Export - reg (Wed Jun 13 2001 - 08:37:20 GMT)
  • Re: SDL-News: SDL Service Specifications (Fri Mar 30 2001 - 11:21:38 GMT)
• Elango
  • SDL-News: Free SDL visual tools and Code generators (Thu Oct 05 2000 - 09:08:09 GMT)
• Elangovan Angannan
  • SDL-News: SDL Grammar - reg (Mon Oct 15 2001 - 13:28:31 GMT)
  • SDL-News: Quoted operation name (Mon Oct 08 2001 - 12:48:14 GMT)
  • SDL-News: SDL and its usage (Sat Jun 23 2001 - 14:04:21 GMT)
  • SDL-News: SDL Quries (Wed Jun 13 2001 - 15:15:37 GMT)
  • RE: SDL-News: Import/Export - reg (Wed Jun 13 2001 - 10:33:52 GMT)
  • Re: SDL-News: Import/Export - reg (Wed Jun 13 2001 - 10:27:47 GMT)
  • RE: SDL-News: Import/Export - reg (Wed Jun 13 2001 - 06:12:16 GMT)
  • SDL-News: Import/Export - reg (Tue Jun 12 2001 - 12:48:16 GMT)
• Emmanuel Gaudin
  • SDL-News: ANN: PragmaDev launches the new generation of SDL tool: RTDS G3. (Thu Oct 21 2004 - 07:58:24 GMT)
  • SDL-News: RE: [SDLTF-Members] SDL Task Force Reply to Keith Moss (Mon Nov 24 2003 - 11:53:28 GMT)
• eric ll
  • SDL-News: Simulation tools in TAU (Tue Dec 10 2002 - 10:18:28 GMT)
• Erik Mats
  • RE: SDL-News: Assert and Progress in Tau 4.4 (Mon Mar 08 2004 - 20:38:16 GMT)
  • RE: SDL-News: Remote procedure and process instantiation (Sun Nov 09 2003 - 18:32:01 GMT)
  • RE: SDL-News: Process types (Thu May 22 2003 - 16:53:42 GMT)
  • RE: SDL-News: significance of <<...>> in sdl specification. (Mon Mar 24 2003 - 00:11:55 GMT)
  • RE: SDL-News: Error in Telelogic Simulation (Tue Feb 26 2002 - 15:47:21 GMT)
  • RE: SDL-News: telelogic-simulation (Tue Feb 12 2002 - 16:58:57 GMT)
• Fabrice DUBOIS - FTRD/DTL/MSV
  • Re: SDL-News: Virtual type (Wed May 03 2000 - 13:17:51 GMT)
• Floch Jacqueline
  • SDL-News: Experience report: Save is widely used - also by new SDL users (Fri Dec 19 2003 - 09:17:01 GMT)
  • SDL-News: Experience report: Save is widely used - also by new SDL users (Fri Dec 19 2003 - 09:14:27 GMT)
• Frend Patrick-BPF005
  • SDL-News: Problems with exported procedure used in a package (Fri Jul 23 2004 - 13:04:47 GMT)
  • RE: SDL-News: How to build a bounded queue in SDL? (Thu Jul 22 2004 - 09:56:34 GMT)
  • RE: [SDLTF-Members] SDL-News: SAVE: Request for additional feedba ck (Mon Jan 12 2004 - 10:40:09 GMT)
  • RE: [SDLTF-Members] SDL-News: SAVE: Request for additional feedba ck (Fri Jan 09 2004 - 17:22:18 GMT)
  • RE: [SDLTF-Members] SDL-News: SAVE: Request for additional feedba ck (Thu Jan 08 2004 - 17:43:49 GMT)
• Garth Watney
  • SDL-News: Priority of 3 input signals (Fri Feb 16 2001 - 18:17:13 GMT)
  • Re: SDL-News: Stacks in SDL (Wed Feb 14 2001 - 18:05:47 GMT)
  • SDL-News: Stacks in SDL (Wed Feb 14 2001 - 16:51:09 GMT)
• gaurav sharma
  • SDL-News: Analysis!! (Wed Jul 25 2001 - 11:00:41 GMT)
• Gustavo Vieira Goncalves Coelho Rios
  • SDL-News: Beginner book(s) (Thu Dec 16 2010 - 16:24:31 GMT)
• Haedong Lee
  • SDL-News: Bit field definition & Compile warning (Fri Sep 08 2000 - 06:30:13 GMT)
• haroud
  • SDL-News: Type specialization (Wed Jun 15 2005 - 16:51:13 GMT)
• helene le
  • SDL-News: Virtual type (Fri Apr 28 2000 - 09:13:41 GMT)
• Helge Tepstad (AS/ETO)
  • SDL-News: Array of char to Charstring (Mon Mar 15 2004 - 11:11:24 GMT)
• Hoerni Frederic
  • SDL-News: SDL syntax for SYNONYM (Mon Apr 03 2006 - 12:29:40 GMT)
• Huang Defeng
  • Re: SDL-News: Does signal saving prevent continuos signal triggering? (Thu Jan 18 2001 - 04:18:30 GMT)
  • Re: SDL-News: Does signal saving prevent continuos signal triggering? (Thu Jan 18 2001 - 02:30:17 GMT)
• Humberto Castejon
  • SDL-News: Problem with block diagram (Thu Feb 12 2004 - 09:12:23 GMT)
• il.pierlu#infinito.it
  • SDL-News: Telelogic Tau PostMaster Interface (Tue Apr 09 2002 - 09:15:42 GMT)
• Ivon Ritzcovitz
  • Re: SDL-News: casting to parent type ? (Fri Dec 08 2000 - 21:55:42 GMT)
• Jacqueline Floch
  • SDL-News: A question about history in SDL-2000 (Tue Nov 06 2001 - 15:06:49 GMT)
  • SDL-News: A question about state aggregation in SDL-2000 (Tue Nov 06 2001 - 14:59:59 GMT)
• Jayant Kumar
  • SDL-News: Creating SDL process from C code (Sat May 12 2001 - 07:05:15 GMT)
• Jean-Loup TERRAILLON
  • SDL-News: [Fwd: SDL model of IEEE 1355-1995] (Tue Feb 29 2000 - 12:53:19 GMT)
• Jean-Marc Meslin
  • Re: SDL-News: SDL tools (Fri Mar 31 2000 - 10:13:31 GMT)
• Jeanne Reed
  • SDL-News: Asterisk input (Thu Sep 04 2003 - 13:40:08 GMT)
  • SDL-News: Channel substructure from [KEMoss6#aol.com] (Mon Nov 04 2002 - 12:26:24 GMT)
  • Re: SDL-News: Free SDL visual tools and Code generators (Sat Oct 14 2000 - 10:06:09 GMT)
• Jens Grabowski
  • Re: SDL-News: SDL Task Force to Jens: Example of why save is needed please... (Mon Dec 08 2003 - 18:10:56 GMT)
  • Re: SDL-News: Difference between simulation and validation in Tau sdt (Mon Dec 08 2003 - 14:33:34 GMT)
• joan.martin#philips.com
  • Re: SDL-News: how can a queue in SDL (or queue in C which can be used in TAU) delay each signal without specifying the signal names? (Tue Jul 20 2004 - 11:10:48 GMT)
  • SDL-News: Powerset of any kind of type (Thu Apr 08 2004 - 11:57:36 GMT)
• Joerg Zieren
  • SDL-News: ?: entity classes and 'state' (Tue Aug 08 2000 - 13:44:00 GMT)
• Johansson Fredrik
  • SDL-News: Resources in SDL (Fri Jan 12 2001 - 12:00:27 GMT)
• John Sarallo
  • RE: SDL-News: Timers again (Wed Mar 03 2004 - 19:02:20 GMT)
  • RE: SDL-News: Experience report: Save is widely used - also by new SDL users (Wed Jan 07 2004 - 18:52:01 GMT)
  • SDL-News: Hungarian Notation with SDL (Fri Jan 31 2003 - 02:34:40 GMT)
• john.svensson#telelogic.com
  • RE: SDL-News: CPP2SDL (Thu Mar 27 2003 - 13:52:09 GMT)
  • RE: SDL-News: sub-state machine and persistent state (Thu Feb 13 2003 - 07:54:37 GMT)
• john.svensson#telelogic.se
  • RE: SDL-News: Import/Export - reg (Tue Jun 12 2001 - 20:01:58 GMT)
  • RE: SDL-News: Two SDL questions (Fri Jun 01 2001 - 14:16:12 GMT)
• Jose Maria Parra Sageras
  • SDL-News: SOLVED: sqrt operator (Tue Dec 20 2005 - 11:43:54 GMT)
  • SDL-News: SDL-news: square root procedure (Wed Dec 14 2005 - 12:40:59 GMT)
  • RE: SDL-News: Gates and Block Substructure (fwd) (Wed Nov 16 2005 - 19:38:46 GMT)
  • SDL-News: SOLVED: Gates and substructures. (Wed Nov 16 2005 - 17:39:20 GMT)
  • Re: SDL-News: Gates and Block Substructure (fwd) (Tue Nov 15 2005 - 18:13:17 GMT)
  • SDL-News: Gates and Block Substructure (Mon Nov 14 2005 - 19:16:32 GMT)
• Kamal.Hashmi#icl.com
  • RE: SDL-News: How is Nondeterminism in SDL practically useful? (Mon Jun 26 2000 - 13:27:10 GMT)
• KEMoss6#aol.com
  • SDL-News: Simulation in digital communications (Thu Dec 16 2004 - 10:53:18 GMT)
  • SDL-News: Timers (Thu Mar 04 2004 - 11:48:59 GMT)
  • SDL-News: Timers again (Wed Mar 03 2004 - 18:06:52 GMT)
  • SDL-News: Timers (Mon Mar 01 2004 - 15:43:44 GMT)
  • SDL-News: Operations on Character strings. (Thu Jan 01 2004 - 16:00:06 GMT)
  • SDL-News: Integer paramaters fandprocess types (Thu Dec 11 2003 - 17:56:44 GMT)
  • SDL-News: SDL in Universities (Thu Dec 04 2003 - 11:58:42 GMT)
  • SDL-News: SDL in the work place (Thu Dec 04 2003 - 11:58:32 GMT)
  • SDL-News: SDL in Universities (Wed Nov 26 2003 - 10:25:00 GMT)
  • SDL-News: task force (Tue Nov 18 2003 - 09:55:14 GMT)
  • SDL-News: Inheritance and Parameters (Tue Sep 09 2003 - 20:58:46 GMT)
  • SDL-News: Inheritance (Wed Aug 20 2003 - 17:07:57 GMT)
  • SDL-News: Inheritance (Mon Aug 18 2003 - 20:36:37 GMT)
  • SDL-News: Inheritance (Sun Aug 17 2003 - 20:50:44 GMT)
  • SDL-News: Inheritance (Fri Aug 08 2003 - 14:40:02 GMT)
  • SDL-News: packages (Wed Aug 06 2003 - 20:14:00 GMT)
  • SDL-News: Process types (Thu May 22 2003 - 16:16:14 GMT)
  • SDL-News: (no subject) (Mon Feb 17 2003 - 10:07:55 GMT)
  • SDL-News: context (Sun Jan 05 2003 - 15:18:43 GMT)
  • SDL-News: Pid values and physical postion (Mon Dec 30 2002 - 12:32:52 GMT)
  • SDL-News: (no subject) (Mon Dec 23 2002 - 14:43:30 GMT)
  • SDL-News: (no subject) (Wed Nov 27 2002 - 15:11:50 GMT)
• Kim Bendtsen
  • Re: RE : SDL-News: Difference between simulation and validation in Tau sdt (Tue Dec 09 2003 - 09:22:25 GMT)
• Kim Led Bendtsen
  • Re: SDL-News: Difference between simulation and validation in Tau sdt (Mon Dec 08 2003 - 15:30:11 GMT)
  • SDL-News: Difference between simulation and validation in Tau sdt (Mon Dec 08 2003 - 13:18:50 GMT)
• Kitty Paul
  • SDL-News: Integration of SDL application with non-SDL application in Telelogic (Tue Jan 16 2001 - 10:32:19 GMT)
• Kjeld Christensen (DXD)
  • RE: SDL-News: SDL/PR to SDL/GR conversion (Tue Jul 11 2000 - 07:12:03 GMT)
• Klein, Tony
  • RE: SDL-News: Code Generator (Mon Mar 03 2003 - 14:37:09 GMT)
• Laurent DOLDI
  • Re: SDL-News: A question about CIF2SDT (Thu May 30 2002 - 08:11:54 GMT)
  • Re: SDL-News: Using code C in SDL (Fri Apr 05 2002 - 18:50:12 GMT)
  • Re: SDL-News: What does this mean? (Fri Mar 08 2002 - 09:05:36 GMT)
  • Re: SDL-News: Choice Primary (Tue May 15 2001 - 10:58:10 GMT)
• livelonger#sohu.com
  • SDL-News: PDU parseing in SDL (Sun Feb 29 2004 - 05:21:53 GMT)
• lkilayko-domingo#opuswave.com
  • SDL-News: SDL Service Specifications (Thu Mar 29 2001 - 00:11:09 GMT)
• luyang
  • Re: SDL-News: How to obtain PId of a SDL process in C programme (Thu Apr 08 2004 - 12:41:12 GMT)
  • SDL-News: How to obtain PId of a SDL process in C programme (Thu Apr 08 2004 - 02:51:00 GMT)
• Luis Bai
  • SDL-News: Creating a librari in Telelogic TAU suite (Tue Nov 25 2003 - 19:30:13 GMT)
• Manne Andrea
  • SDL-News: SDL and C with Tau telelogic 4.3 (Wed Apr 10 2002 - 08:26:48 GMT)
  • SDL-News: Using code C in SDL (Fri Apr 05 2002 - 11:44:37 GMT)
• Margarita de Cabo Perez
  • SDL-News: SDL2000 "this" concept (Mon Feb 23 2004 - 09:40:36 GMT)
  • SDL-News: Doldi's book example with Cinderella (Mon Sep 22 2003 - 09:25:39 GMT)
  • SDL-News: Any_type in Cinderella (Thu Sep 04 2003 - 10:54:38 GMT)
  • SDL-News: Using the content of a string as a literal (Wed Aug 13 2003 - 23:27:50 GMT)
  • Re: SDL-News: Inheritance (Mon Aug 11 2003 - 08:05:01 GMT)
  • SDL-News: Integer to Time casting (Fri Jul 25 2003 - 18:06:52 GMT)
  • SDL-News: SDL2000 Composite states and cinderella (Thu Jul 24 2003 - 08:13:39 GMT)
  • SDL-News: Assigment of the value of a String to another (Wed Jul 23 2003 - 08:21:56 GMT)
• Maria Varsamou
  • SDL-News: Integration of an SDL System in QNX (Mon Jul 24 2000 - 19:25:37 GMT)
  • SDL-News: Ethernet (Fri Mar 31 2000 - 20:37:22 GMT)
• Michael Schmitt
  • SDL-News: Parser for SDL-2000 (Mon Mar 27 2000 - 22:15:15 GMT)
• michael.andersson#telelogic.com
  • RE: SDL-News: about generating random numbers (Wed Mar 10 2004 - 12:54:46 GMT)
  • RE: SDL-News: Assert and Progress in Tau 4.4 (Mon Mar 08 2004 - 11:00:59 GMT)
  • RE: RE : RE : SDL-News: Difference between simulation and validat ion inTau sdt (Tue Dec 09 2003 - 18:11:05 GMT)
  • RE: SDL-News: Modelling of unreliable transmission medium in Tau SDT (Tue Dec 09 2003 - 17:56:45 GMT)
  • FW: SDL-News: random number generating (Thu Aug 28 2003 - 13:41:51 GMT)
  • RE: SDL-News: External Synonyms (Wed Aug 20 2003 - 10:14:38 GMT)
  • RE: SDL-News: about the time type in SDL (Mon Aug 18 2003 - 12:02:42 GMT)
  • RE: SDL-News: Question (from stellinhachung#yahoo.com.br) (Fri Aug 15 2003 - 15:25:53 GMT)
• Mike Rudnick
  • Re: SDL-News: How to accelerate the SDL simulations (Thu Mar 18 2004 - 15:41:06 GMT)
  • SDL-News: new-to-sdlnews question: Tau postmaster example (Fri Nov 21 2003 - 22:05:09 GMT)
• Milan Zoric
  • RE: SDL-News: Timers (Mon Mar 01 2004 - 16:08:42 GMT)
• mogi.dk
  • Re: SDL-News: Asterisk input (Thu Sep 04 2003 - 15:52:52 GMT)
  • Re: SDL-News: Re: Asterisk input (Thu Sep 04 2003 - 15:45:10 GMT)
  • SDL-News: Re: Asterisk input (Thu Sep 04 2003 - 14:58:30 GMT)
• Mohamed Bamakhrama
  • SDL-News: Looking for a doxygen-like tool for documenting SDL source code (Tue Aug 04 2009 - 09:32:02 GMT)
• mokhtar Nibouche
  • SDL-News: Spontaneous Transition (Sun Apr 21 2002 - 22:14:20 GMT)
  • Re: SDL-News: Priority Input in SDL... (Mon Mar 04 2002 - 13:31:38 GMT)
  • SDL-News: Priority Input in SDL... (Mon Mar 04 2002 - 04:37:25 GMT)
• Monear Jalal
  • SDL-News: Two SDL systems on the same target platform (Fri Jun 30 2000 - 15:12:42 GMT)
• MT CHAN
  • RE: SDL-News: Request for Help (Fri Jul 14 2000 - 05:53:13 GMT)
• Neelesh Sharma
  • RE: SDL-News: one querry (Tue Jan 14 2003 - 11:24:57 GMT)
  • SDL-News: one querry (Mon Dec 30 2002 - 16:39:41 GMT)
• nicolas Peransin
  • RE: SDL-News: new in SDL. (Fri Oct 26 2001 - 08:30:43 GMT)
  • RE: SDL-News: Saving all signals except a few, optimization (Mon Mar 05 2001 - 09:27:45 GMT)
• Nicu Goga
  • SDL-News: Re: (Tue Jul 29 2003 - 12:54:31 GMT)
• Os Monkewich
  • Re: SDL-News: Code Generator (Mon Mar 03 2003 - 16:57:10 GMT)
• Patrick Frend
  • SDL-News: Un-intuitive Type System (Mon Jun 16 2003 - 17:13:38 GMT)
• Patrik Kessler
  • SDL-News: signal-delays (Mon Oct 29 2001 - 09:13:40 GMT)
• Paul Herber
  • SDL-News: Sandrila SDL V4.9 released (Tue Aug 25 2009 - 11:23:02 GMT)
  • SDL-News: SDL User Group on LinkedIn (Sat Nov 01 2008 - 22:52:48 GMT)
  • Re: SDL-News: CIF MSCdocument format specification (Thu Jun 28 2007 - 13:45:26 GMT)
  • SDL-News: CIF MSCdocument format specification (Thu Jun 28 2007 - 12:17:40 GMT)
  • SDL-News: SanDriLa V4.0 released (Wed Jun 07 2006 - 15:36:18 GMT)
  • SDL-News: overlapping text areas and text extensions (Mon Apr 25 2005 - 13:09:33 GMT)
  • SDL-News: [ANN] SanDri-La - free for academic use (Wed Aug 11 2004 - 16:05:25 GMT)
  • Re: SDL-News: virtual classes in CIF TypeReference (Mon Jun 28 2004 - 10:29:57 GMT)
  • SDL-News: virtual classes in CIF TypeReference (Thu Jun 24 2004 - 14:17:59 GMT)
  • SDL-News: virtual classes in CIF TypeReference (Fri Jun 18 2004 - 06:15:42 GMT)
  • SDL-News: SDL CIF ServicePage, BlockPage and ChannelSubstructure (Wed Feb 11 2004 - 14:41:19 GMT)
  • SDL-News: SDL CIF Extendedtask (Sun Jan 11 2004 - 11:29:24 GMT)
  • Re: SDL-News: (no subject) (Mon Dec 23 2002 - 15:38:54 GMT)
• Pedro Merino
  • Re: SDL-News: SDL and temporal logic (Fri Dec 15 2000 - 17:28:35 GMT)
  • SDL-News: SDL and temporal logic (Fri Dec 15 2000 - 09:52:46 GMT)
• Pero Latkoski
  • SDL-News: SDL model for WiMax (Tue May 30 2006 - 16:12:53 GMT)
• Peter Heath
  • SDL-News: Previous Nextstate Symbol (Tue Sep 02 2003 - 01:33:05 GMT)
  • SDL-News: Multiple Configuration Development (Thu Aug 28 2003 - 06:30:16 GMT)
  • SDL-News: External Synonyms (Tue Aug 19 2003 - 05:09:10 GMT)
  • SDL-News: Merge Tools for SDL drawings (Wed Aug 13 2003 - 01:59:02 GMT)
  • SDL-News: Timers in Procedures (Mon Aug 04 2003 - 02:08:58 GMT)
• philippe Leblanc
  • RE: SDL-News: SDL and temporal logic (Mon Dec 18 2000 - 08:21:18 GMT)
  • SDL-News: Publication of an SDL book in French (Fri Oct 13 2000 - 09:43:34 GMT)
  • RE: SDL-News: How is Nondeterminism in SDL practically useful? (Fri Jun 30 2000 - 07:24:20 GMT)
• Prakash.Kavi#telelogic.com
  • RE: SDL-News: ADT's for handling generic functions (Wed Mar 05 2003 - 19:24:43 GMT)
  • SDL-News: ADT's for handling generic functions (Thu Feb 27 2003 - 04:48:35 GMT)
• Ralf Muenzenberger
  • Re: SDL-News: Contionuous Signal and ADT (Fri Sep 01 2000 - 13:32:23 GMT)
  • SDL-News: Contionuous Signal and ADT (Thu Aug 31 2000 - 13:17:58 GMT)
  • SDL-News: Enabling Condition (Fri Aug 18 2000 - 12:11:52 GMT)
• Ramesh Palaniappan
  • SDL-News: Regarding the timers in the H.245 Recommendation (Mon Feb 14 2000 - 13:35:18 GMT)
• Ranjit Singh
  • SDL-News: Ethernet (Sun Apr 02 2000 - 12:40:28 GMT)
• Reji P Rajesh
  • SDL-News: Request for Help (Thu Jul 13 2000 - 16:41:23 GMT)
• Richard Sanders
  • Re: SDL-News: Two SDL systems on the same target platform (Mon Jul 03 2000 - 13:17:37 GMT)
• Rick Reed
  • SDL-News: Specification and Description Language - Unified modeling language profile for SDL-2010 Appendix 1 (Fri Mar 08 2013 - 13:44:58 GMT)
  • SDL-News: SAM2012 proceedings (LNCS 7744) now available (Mon Feb 18 2013 - 11:36:48 GMT)
  • SDL-News: News fro ITU-T (Sat Sep 15 2012 - 11:23:57 GMT)
  • SDL-News: SDL-2010 Approved by ITU and (Pre-published) versions available (Wed Jan 25 2012 - 17:48:30 GMT)
  • SDL-News: SAM2010 proceedings (Fri Jul 15 2011 - 17:30:08 GMT)
  • SDL-News: XML for Specification and Description Language (Sun Dec 12 2010 - 08:53:59 GMT)
  • Re: SDL-News: SDL Transition atomic or not ? (Wed Mar 31 2010 - 09:50:45 GMT)
  • SDL-News: Functional Specification and Description Language 1976! (Sun Jan 31 2010 - 18:23:40 GMT)
  • SDL-News: Access to ITU studies on System Design Languages (Thu Oct 01 2009 - 12:30:35 GMT)
  • Re: SDL-News: CIF MSCdocument format specification (Thu Jun 28 2007 - 13:24:13 GMT)
  • SDL-News: New version of SDL-2000; SAM2006 (Fri May 12 2006 - 00:01:40 GMT)
  • Re: SDL-News: SDL syntax for SYNONYM (Mon Apr 03 2006 - 14:42:41 GMT)
  • SDL-News: Telelogic announces the acquisition of I-Logix (Mon Mar 06 2006 - 16:08:09 GMT)
  • SDL-News: Results ITU-T meeting Q.11,13/17 Geneva 14-16 Feb 2006 (Mon Feb 20 2006 - 13:03:51 GMT)
  • Re: SDL-News: Type specialization (Fri Jun 17 2005 - 23:14:00 GMT)
  • Re: SDL-News: Re: Casting from Duration to Integer. (Fri Jul 16 2004 - 12:26:40 GMT)
  • SDL-News: Re: Casting from Duration to Integer. (Mon Jul 12 2004 - 19:09:36 GMT)
  • SDL-News: Re: Casting to inheritance type (Tue Jul 06 2004 - 16:27:30 GMT)
  • SDL-News: Re: Help on SDL (Tue Jun 29 2004 - 21:27:28 GMT)
  • Re: SDL-News: Task Force mailing list copyright (Wed May 19 2004 - 19:33:10 GMT)
  • SDL-News: How to get PId of processes instantiated from a process type (Fri May 14 2004 - 15:00:21 GMT)
  • SDL-News: Re: Clarification of Interfaces (Fri May 14 2004 - 14:11:53 GMT)
  • SDL-News: Re: [SDLTF-Members] Data types & ITU-T Synchronisation (Fri Apr 09 2004 - 15:07:38 GMT)
  • Re: SDL-News: How to obtain PId of a SDL process in C programme (Fri Apr 09 2004 - 14:56:20 GMT)
  • Re: SDL-News: Powerset of any kind of type (Thu Apr 08 2004 - 20:19:23 GMT)
  • SDL-News: Re: [SDLTF-Members] Possible conflict is only a potential problem (Fri Mar 12 2004 - 10:22:43 GMT)
  • SDL-News: ITU-T Possible Conflict; Data & ITU-T Synchronization (Thu Mar 11 2004 - 23:06:13 GMT)
  • Re: SDL-News: PDU parsing in SDL (Mon Mar 01 2004 - 15:13:53 GMT)
  • Re: SDL-News: SDL CIF ServicePage, BlockPage and ChannelSubstructure (Thu Feb 12 2004 - 11:42:33 GMT)
  • SDL-News: Re: UML 2.0 and SDL (Tue Feb 03 2004 - 11:39:13 GMT)
  • SDL-News: RE: [SDLTF-Members] Flushing the SAVEd signals (forwarded by Rick Reed) (Sat Jan 10 2004 - 12:38:54 GMT)
  • FW by Rick Reed: RE: [SDLTF-Members] SDL-News: SAVE: Request for additional feedback (Sat Jan 10 2004 - 12:41:58 GMT)
  • Re: [SDLTF-Members] SDL-News: SAVE: Request for additional feedba ck (Sat Jan 10 2004 - 12:25:36 GMT)
  • Re: [SDLTF-Members] SDL-News: SAVE: Request for additional feedback (Fri Jan 09 2004 - 16:44:45 GMT)
  • Re: [SDLTF-Members] SDL-News: SAVE: Request for additional feedba ck (Fri Jan 09 2004 - 16:22:21 GMT)
  • Re: SDL-News: SAVE: Request for additional feedback (Thu Jan 08 2004 - 15:50:40 GMT)
  • Re: SDL-News: Plans for the SDL Forum? (Mon Jan 05 2004 - 13:55:15 GMT)
  • Re: SDL-News: Operations on Character strings. (Thu Jan 01 2004 - 17:34:18 GMT)
  • Re: [SDLTF-Members] Fwd: [sdl-forum] SDL-News: Integer paramaters fandprocess types (Fri Dec 12 2003 - 11:07:45 GMT)
  • SDL-News: Re: [SDLTF-Members] Summary of SAVE Issues Discussed (Thu Dec 04 2003 - 21:45:27 GMT)
  • SDL-News: Re: [SDLTF-Members] Rick's confirmation of interfaces (Wed Nov 26 2003 - 15:58:04 GMT)
  • SDL-News: Re: possible extension to SDL (Wed Nov 26 2003 - 11:57:00 GMT)
  • SDL-News: Re: [SDLTF-Members] possible extension to SDL (Tue Nov 25 2003 - 22:58:07 GMT)
  • SDL-News: Background: SDL Task Force (Mon Nov 24 2003 - 22:04:47 GMT)
  • SDL-News: New book; Discount proceedings (Wed Nov 05 2003 - 19:32:04 GMT)
  • Re: SDL-News: particular case of parallelism specification (Sat Oct 11 2003 - 09:17:13 GMT)
  • SDL-News: About SDL to GPRS/GSM [from Marcelo de Oliveira Marques <marcelo#inatel.br>] (Mon Sep 29 2003 - 13:45:18 GMT)
  • Re: SDL-News: Asterisk input (Thu Sep 04 2003 - 14:42:10 GMT)
  • Re: SDL-News: Previous Nextstate Symbol (Wed Sep 03 2003 - 15:51:02 GMT)
  • SDL-News: FW: Hyperlinks for ITEX PostScript (hl4ip version 1.36) available (Mon Sep 01 2003 - 12:24:12 GMT)
  • SDL-News: Question (from stellinhachung#yahoo.com.br) (Fri Aug 15 2003 - 14:37:29 GMT)
  • Re: SDL-News: Using the content of a string as a literal (Thu Aug 14 2003 - 09:44:03 GMT)
  • Re: SDL-News: packages (Thu Aug 07 2003 - 11:06:08 GMT)
  • Re: SDL-News: Need help for SDL Timer (Tue Jul 29 2003 - 14:06:52 GMT)
  • Re: SDL-News: Integer to Time casting (Tue Jul 29 2003 - 11:14:51 GMT)
  • Re: SDL-News: Need help for SDL Timer (Tue Jul 29 2003 - 10:41:06 GMT)
  • SDL-News: Signaling System Design Conference in Stuttgart Germany (Fri Jun 13 2003 - 09:13:55 GMT)
  • Re: SDL-News: type cast in SDL (Wed Jun 04 2003 - 06:13:43 GMT)
  • Re: SDL-News: Output semantics, "several possible paths" (Mon Jun 02 2003 - 22:45:34 GMT)
  • Re: SDL-News: How to represent bytes? (Fri May 30 2003 - 16:43:55 GMT)
  • Re: SDL-News: Modeling message loss in SDL (Wed May 28 2003 - 21:48:32 GMT)
  • Re: SDL-News: calling a procedure defined in other service (Fri May 23 2003 - 23:10:56 GMT)
  • SDL-News: Re: create statement (Fri Apr 04 2003 - 22:18:14 GMT)
  • Re: SDL-News: curly braces in task of sdl specification. (Fri Apr 04 2003 - 19:41:46 GMT)
  • RE: SDL-News: how to generate a random number in SDL? (Tue Mar 25 2003 - 15:35:14 GMT)
  • SDL-News: Please Help, With Telelogic Tau 4.4.0, Strings (Tue Mar 25 2003 - 15:47:04 GMT)
  • Re: SDL-News: How are "Shared-memory" and "Message passing" expressed differently in SDL? (Tue Mar 25 2003 - 15:35:06 GMT)
  • Re: SDL-News: ADT's for handling generic functions (Thu Mar 06 2003 - 12:47:22 GMT)
  • Re: SDL-News: Code Generator (Tue Mar 04 2003 - 15:37:30 GMT)
  • Re: SDL-News: how to generate a random number in SDL? (Tue Feb 18 2003 - 20:06:57 GMT)
  • Re: SDL-News: how to generate a random number in SDL? (Mon Feb 17 2003 - 21:41:31 GMT)
  • RE: SDL-News: sub-state machine and persistent state by Frend Patrick-BPF005 <BPF005#motorola.com> (Sun Feb 16 2003 - 15:53:48 GMT)
  • Subject: RE: SDL-News: sub-state machine and persistent state (by Frend Patrick-BPF005 <BPF005#motorola.com) (Fri Feb 14 2003 - 20:12:53 GMT)
  • Re: SDL-News: sub-state machine and persistent state (Thu Feb 13 2003 - 21:33:02 GMT)
  • Re: SDL-News: context (Tue Jan 07 2003 - 13:31:43 GMT)
  • Re: SDL-News: Channel substructure from [KEMoss6#aol.com] (Tue Nov 05 2002 - 13:00:05 GMT)
  • Re: SDL-News: Questions about ASN.1 (Tue Oct 29 2002 - 23:09:45 GMT)
  • Re: SDL-News: Questions about ASN.1 (Tue Oct 29 2002 - 09:48:53 GMT)
  • Re: SDL-News: A strange question (without Chinese characters). (Fri Oct 11 2002 - 15:23:59 GMT)
  • SDL-News: A strange question (without Chinese characters). (Wed Oct 09 2002 - 22:32:33 GMT)
  • Re: SDL-News: A strange question (Wed Oct 09 2002 - 16:53:29 GMT)
  • Re: SDL-News: Spontaneous Transition (Mon Apr 22 2002 - 21:14:29 GMT)
  • SDL-News: HiperLAN2 Control Plane SDL Model (Sun Apr 14 2002 - 20:08:34 GMT)
  • SDL-News: SDL models using recursive procedures? (Thu Apr 04 2002 - 09:41:26 GMT)
  • Re: SDL-News: Question about SDL2000 (Fri Mar 08 2002 - 14:27:14 GMT)
  • SDL-News: From [VINCENT Daniel FTRD/DTL/LAN <daniel.vincent#rd.francetelecom.com>] (Mon Mar 04 2002 - 18:15:05 GMT)
  • Re: SDL-News: Priority Input in SDL... (Mon Mar 04 2002 - 18:10:19 GMT)
  • Re: SDL-News: A small question on SDL Concurrency (Mon Jan 28 2002 - 20:27:23 GMT)
  • SDL-News: Diagrams using Visio - URL (Wed Jan 16 2002 - 16:03:58 GMT)
  • SDL-News: Diagrams using Visio (Tue Jan 15 2002 - 18:54:11 GMT)
  • RE: SDL-News: signal-delays (Mon Oct 29 2001 - 14:04:12 GMT)
  • SDL-News: Re: signal delay (Sat Oct 27 2001 - 12:00:49 GMT)
  • SDL-News: signal-delay (Sat Oct 27 2001 - 12:00:46 GMT)
  • SDL-News: RE: SDL Tool comparison (Fri Oct 19 2001 - 13:12:32 GMT)
  • SDL-News: Re: SDL in BNF - reg (Mon Oct 15 2001 - 22:55:37 GMT)
  • SDL-News: Further reply on data transfer (Fri Oct 12 2001 - 11:07:57 GMT)
  • SDL-News: SDL Forum - Recognition by ITU-T (Thu Oct 11 2001 - 20:36:14 GMT)
  • Re: SDL-News: A question on data transfer (Thu Oct 11 2001 - 12:24:32 GMT)
  • Re: SDL-News: Quoted operation name (Mon Oct 08 2001 - 17:14:58 GMT)
  • Re: SDL-News: SDL and its usage (Sat Jun 23 2001 - 16:49:27 GMT)
  • Re: SDL-News: SDL Quries (Fri Jun 15 2001 - 14:21:44 GMT)
  • Re: SDL-News: Import/Export - reg (Wed Jun 13 2001 - 13:37:43 GMT)
  • Re: SDL-News: size_of_variable_structs (Thu May 10 2001 - 20:44:38 GMT)
  • Re: SDL-News: Query on how SAVE works (Wed Mar 21 2001 - 19:39:15 GMT)
  • Re: SDL-News: Saving all signals except a few, optimization (Wed Mar 07 2001 - 14:19:47 GMT)
  • Re: SDL-News: Does signal saving prevent continuos signal triggering? (Thu Jan 18 2001 - 14:26:05 GMT)
  • Re: SDL-News: time conversion (Sun Dec 17 2000 - 12:55:20 GMT)
  • Re: SDL-News: time conversion (Sat Dec 16 2000 - 10:46:42 GMT)
  • Re: SDL-News: SDL and temporal logic (Fri Dec 15 2000 - 16:50:27 GMT)
  • Re: SDL-News: time conversion (Fri Dec 15 2000 - 16:50:25 GMT)
  • Re: SDL-News: casting to parent type ? (Mon Dec 11 2000 - 14:02:23 GMT)
  • Re: SDL-News: SDL Coding Guide? (Thu Oct 05 2000 - 09:54:25 GMT)
  • Re: SDL-News: Routing of Signals when Implicit Addressing is used (Thu Oct 05 2000 - 09:54:23 GMT)
  • Re: SDL-News: SDL combined with ASN.1 (Fri Sep 29 2000 - 10:09:18 GMT)
  • SDL-News: SDL combined with ASN.1 (Thu Sep 28 2000 - 06:00:32 GMT)
  • Re: SDL-News: Contionuous Signal and ADT (Fri Sep 01 2000 - 15:56:56 GMT)
  • Re: SDL-News: Contionuous Signal and ADT (Thu Aug 31 2000 - 17:38:51 GMT)
  • SDL-News: SDL-2000 tutorial from SAM-2000 (Fri Aug 25 2000 - 16:44:47 GMT)
  • Re: SDL-News: Enabling Condition (Fri Aug 18 2000 - 15:28:17 GMT)
  • Re: SDL-News: how to define a Queue? (Thu Aug 10 2000 - 11:47:54 GMT)
  • Re: SDL-News: ?: entity classes and 'state' (Tue Aug 08 2000 - 15:37:05 GMT)
  • Re: SDL-News: Request for Help: Initialisation of Pids (Fri Jul 14 2000 - 18:18:33 GMT)
  • Re: SDL-News: a problem about SDL instance (Fri Jul 14 2000 - 18:18:34 GMT)
  • Re: SDL-News: Two SDL systems on the same target platform (Sat Jul 01 2000 - 13:57:50 GMT)
  • Re: SDL-News: How is Nondeterminism in SDL practically useful? (Fri Jun 30 2000 - 16:11:40 GMT)
  • Re: SDL-News: Timers (Fri Apr 07 2000 - 09:33:32 GMT)
  • Re: SDL-News: Question: Algorithms (Sun Mar 19 2000 - 12:57:48 GMT)
  • SDL-News: SDL-2000 distributed by SDL Forum Society (Thu Mar 02 2000 - 22:37:06 GMT)
  • Re: SDL-News: Regarding the timers in the H.245 Recommendation (Mon Feb 14 2000 - 18:27:39 GMT)
• rick.reed#ties.itu.ch
  • (no subject) (Tue Oct 30 2001 - 13:24:06 GMT)
  • SDL-News: RE: SDL+performance (Tue Oct 30 2001 - 13:22:02 GMT)
  • RE: SDL-News: SDL and OMG / UML (Tue Oct 30 2001 - 13:14:17 GMT)
  • RE: SDL-News: How to save signal during transtion? (Thu Oct 25 2001 - 14:22:09 GMT)
• Rodrigo Georges Tannuri
  • SDL-News: Changing the Standard Memory Allocation Procedure for TAU 4.1 (Thu Jul 12 2001 - 18:19:30 GMT)
• Rubio Maria Victoria-MVRUBIO1
  • SDL-News: telelogic-simulation (Tue Feb 12 2002 - 16:28:40 GMT)
  • SDL-News: state machine (Fri Jan 25 2002 - 12:59:13 GMT)
  • SDL-News: communication between procedures (Wed Nov 14 2001 - 18:18:23 GMT)
• Rui Silva
  • SDL-News: size_of_variable_structs (Wed May 09 2001 - 22:20:28 GMT)
• s p
  • SDL-News: is it possible sending signal like C/C++ struct? (Tue Apr 22 2003 - 22:18:47 GMT)
  • SDL-News: curly braces in task of sdl specification. (Thu Apr 03 2003 - 18:44:10 GMT)
  • SDL-News: significance of <<...>> in sdl specification. (Sat Mar 22 2003 - 00:48:00 GMT)
  • SDL-News: How to handle Timer, when converting SDL Process to CEFSM(Finite State Machine)? (Wed Jan 22 2003 - 23:23:42 GMT)
• Sanders Richard
  • SDL-News: Save Save (Fri Dec 19 2003 - 10:25:52 GMT)
  • RE: SDL-News: Fwd: [SDLTF-Members] SDL IS IN DANGER (Thu Dec 18 2003 - 22:03:59 GMT)
  • RE: SDL-News: How to save signal during transtion? (Thu Oct 25 2001 - 12:37:28 GMT)
  • RE: SDL-News: SDL Service Specifications (Thu Mar 29 2001 - 18:31:37 GMT)
• Scott Shen
  • SDL-News: can a remote procedure exported by more than one of the contained services? (Wed Jun 11 2003 - 19:27:28 GMT)
  • SDL-News: calling a procedure defined in other service (Thu May 22 2003 - 22:42:47 GMT)
  • RE: SDL-News: Operator I defined can't be converted to C (Fri Feb 21 2003 - 18:09:47 GMT)
  • RE: SDL-News: Operator I defined can't be converted to C (Thu Feb 20 2003 - 18:19:28 GMT)
  • RE: SDL-News: how to generate a random number in SDL? (Tue Feb 18 2003 - 22:11:32 GMT)
  • RE: SDL-News: how to generate a random number in SDL? (Tue Feb 18 2003 - 20:41:31 GMT)
  • RE: SDL-News: how to generate a random number in SDL? (Mon Feb 17 2003 - 23:35:11 GMT)
  • SDL-News: how to generate a random number in SDL? (Mon Feb 17 2003 - 18:37:52 GMT)
  • RE: SDL-News: sub-state machine and persistent state (Thu Feb 13 2003 - 23:38:10 GMT)
  • SDL-News: sub-state machine and persistent state (Wed Feb 12 2003 - 22:01:51 GMT)
• Sebastien Faucou
  • SDL-News: Two SDL questions (Fri Jun 01 2001 - 12:27:55 GMT)
• Serge Boroday
  • SDL-News: syntax for the enabling condition (Mon Nov 27 2000 - 23:05:44 GMT)
• Shaheen Shasa
  • Re: SDL-News: A small question on SDL Concurrency (Wed Jan 30 2002 - 04:30:32 GMT)
  • SDL-News: A small question on SDL Concurrency (Mon Jan 28 2002 - 13:35:15 GMT)
• Simon Bouland
  • Re: SDL-News: SDL Transition atomic or not ? (Wed Mar 31 2010 - 10:45:55 GMT)
  • SDL-News: SDL Transition atomic or not ? (Mon Mar 29 2010 - 15:54:31 GMT)
• Sjouke Mauw
  • SDL-News: MSC macro package (Thu Jun 13 2002 - 12:17:23 GMT)
• Soumitri Soumya Pal
  • SDL-News: Question (Sun Mar 19 2000 - 02:23:50 GMT)
• sriram.jatla#telelogic.com
  • RE: SDL-News: Operator I defined can't be converted to C (Fri Feb 21 2003 - 07:58:59 GMT)
  • RE: SDL-News: Pid values and physical postion (Tue Dec 31 2002 - 07:09:45 GMT)
  • RE: SDL-News: one querry (Tue Dec 31 2002 - 07:00:13 GMT)
  • RE: SDL-News: one querry (Tue Dec 31 2002 - 05:22:12 GMT)
  • RE: SDL-News: Pid values and physical postion (Tue Dec 31 2002 - 04:10:51 GMT)
• Stavroula Kampouridou
  • SDL-News: IP-address manipulation in SDL (Wed May 16 2001 - 12:12:34 GMT)
• Susanne Graf
  • Re: [SDLTF-Members] SDL-News: SAVE: Request for additional feedback (Thu Jan 08 2004 - 16:10:56 GMT)
  • Re: SDL-News: Fwd: [SDLTF-Members] SDL IS IN DANGER (Thu Dec 18 2003 - 19:11:42 GMT)
  • RE : SDL-News: Difference between simulation and validation inTau sdt (Wed Dec 10 2003 - 10:50:10 GMT)
  • Re: RE : RE : SDL-News: Difference between simulation and validation inTau sdt (Tue Dec 09 2003 - 11:08:01 GMT)
  • Re: SDL-News: Fwd: [SDLTF-Members] SDL Task Force Reply to Keith Moss (Sun Nov 23 2003 - 15:55:35 GMT)
  • Re: SDL-News: Modeling message loss in SDL (Thu May 29 2003 - 07:14:04 GMT)
  • Re: SDL-News: SDL and temporal logic (Sun Dec 17 2000 - 15:58:48 GMT)
• Tan SooFong-CST069
  • SDL-News: Error in Telelogic Simulation (Tue Feb 26 2002 - 03:27:40 GMT)
• Tao Zhang
  • SDL-News: Performance issue with Generic functions (Wed Mar 03 2004 - 20:02:26 GMT)
• Thomas Garsiot
  • Re: SDL-News: c header file inclusion (Tue Jan 02 2001 - 17:01:09 GMT)
  • Re: SDL-News: casting to parent type ? (Fri Dec 08 2000 - 11:01:51 GMT)
  • SDL-News: casting to parent type ? (Fri Dec 08 2000 - 08:46:26 GMT)
• Thomas Weigert
  • RE: SDL-News: time conversion (Sat Dec 16 2000 - 19:13:28 GMT)
  • RE: SDL-News: time conversion (Sat Dec 16 2000 - 02:51:31 GMT)
• thomas.hjelm#telelogic.com
  • RE: SDL-News: Simulation tools in TAU (Tue Dec 10 2002 - 12:27:54 GMT)
  • RE: SDL-News: A strange question (without Chinese characters). (Thu Oct 10 2002 - 09:17:40 GMT)
  • RE: SDL-News: SDL and OMG / UML (Wed Oct 31 2001 - 13:02:41 GMT)
• Tim Brockwell
  • SDL-News: SDL and OMG / UML (Sat Oct 27 2001 - 18:11:04 GMT)
  • SDL-News: RPC in package using newtype from process type in same package (Mon Jul 02 2001 - 21:49:48 GMT)
• Umer Waqar
  • RE: [2013439] SDL-News: code generation using ObjectGEODE-4.2 (Mon May 06 2002 - 17:02:17 GMT)
  • SDL-News: code generation using ObjectGEODE-4.2 (Thu May 02 2002 - 16:12:18 GMT)
• vbidarakoppa#opuswave.com
  • SDL-News: Query on how SAVE works (Wed Mar 21 2001 - 17:16:58 GMT)
  • SDL-News: RPCs between two blocks (Tue Feb 20 2001 - 02:02:41 GMT)
  • SDL-News: SDL Coding Guide? (Wed Oct 04 2000 - 22:38:34 GMT)
  • SDL-News: Routing of Signals when Implicit Addressing is used (Wed Oct 04 2000 - 22:31:13 GMT)
• VINCENT Daniel FTRD/DTL/LAN
  • RE : RE : SDL-News: Difference between simulation and validation inTau sdt (Tue Dec 09 2003 - 09:52:15 GMT)
  • RE : SDL-News: Difference between simulation and validation in Tau sdt (Mon Dec 08 2003 - 16:28:02 GMT)
  • RE: SDL-News: Modeling message loss in SDL (Mon Jun 02 2003 - 06:57:47 GMT)
  • RE: SDL-News: Operator I defined can't be converted to C (Fri Feb 21 2003 - 07:32:06 GMT)
  • RE: SDL-News: Recursive Procedure in SDL (Wed Apr 10 2002 - 07:08:20 GMT)
  • RE: SDL-News: What does this mean? (Fri Mar 08 2002 - 17:42:42 GMT)
  • RE: SDL-News: SDL and temporal logic (Fri Dec 15 2000 - 13:09:43 GMT)
  • RE: SDL-News: syntax for the enabling condition (Tue Nov 28 2000 - 08:03:09 GMT)
  • RE: SDL-News: how to define a Queue? (Thu Aug 10 2000 - 10:09:19 GMT)
• Wainwright Carl EXT
  • SDL-News: CPP2SDL (Thu Mar 27 2003 - 10:08:38 GMT)
• Weimin Ma
  • SDL-News: Need help for SDL Timer (Sat Jul 26 2003 - 22:46:38 GMT)
• William H. Skelton
  • SDL-News: Possible conflict is only a potential problem (Thu Mar 11 2004 - 23:54:27 GMT)
  • SDL-News: ITU-T Meetings & Possible Conflict of Interests (Thu Mar 11 2004 - 08:13:31 GMT)
  • SDL-News: SDL Forum & ITU-T (Tue Mar 09 2004 - 12:52:59 GMT)
  • Fwd: SDL-News: PDU parseing in SDL (Sun Feb 29 2004 - 11:06:47 GMT)
  • Fwd: RE: SDL-News: SAVE: Request for additional feedback (Fri Jan 09 2004 - 09:20:20 GMT)
  • SDL-News: Fwd: Re: [SDLTF-Members] SAVE: Request for additional feedback (Fri Jan 09 2004 - 09:03:58 GMT)
  • SDL-News: SAVE: Request for additional feedback (Thu Jan 08 2004 - 13:04:09 GMT)
  • Fwd: Re: SDL-News: Fwd: [SDLTF-Members] SDL IS IN DANGER (Fri Dec 19 2003 - 07:52:10 GMT)
  • Fwd: RE: SDL-News: Fwd: [SDLTF-Members] SDL IS IN DANGER (Fri Dec 19 2003 - 00:30:16 GMT)
  • SDL-News: Fwd: [SDLTF-Members] SDL IS IN DANGER (Thu Dec 18 2003 - 16:34:58 GMT)
  • SDL-News: Plans for the SDL Forum? (Wed Dec 17 2003 - 23:13:46 GMT)
  • SDL-News: Complete systems (Wed Dec 17 2003 - 21:28:19 GMT)
  • Fwd: [sdl-forum] SDL-News: Integer paramaters fandprocess types (Fri Dec 12 2003 - 08:52:30 GMT)
  • SDL-News: SDL Task Force to Jens: Example of why save is needed please... (Sat Dec 06 2003 - 02:00:03 GMT)
  • SDL-News: Fwd: Re: [SDLTF-Members] Summary of SAVE Issues Discussed (Thu Dec 04 2003 - 22:22:37 GMT)
  • SDL-News: Summary of SAVE Issues Discussed (Thu Dec 04 2003 - 18:31:16 GMT)
  • SDL-News: Rick's confirmation of interfaces (Wed Nov 26 2003 - 14:26:33 GMT)
  • SDL-News: Fwd: Re: [SDLTF-Members] possible extension to SDL (Wed Nov 26 2003 - 01:18:18 GMT)
  • SDL-News: Reply to Pragmadev, re: standards (Mon Nov 24 2003 - 14:15:03 GMT)
  • SDL-News: Save & Buffering (Mon Nov 24 2003 - 14:10:50 GMT)
  • SDL-News: Fwd: [SDLTF-Members] SDL Task Force Reply to Keith Moss (Sun Nov 23 2003 - 13:45:53 GMT)
• Xiaoming Fu
  • Re: SDL-News: about generating random numbers (Tue Mar 16 2004 - 20:20:38 GMT)
• Y Giridhar Appaji Nag
  • RE: SDL-News: Creating a librari in Telelogic TAU suite (Wed Nov 26 2003 - 09:55:36 GMT)
  • RE: SDL-News: sub-state machine and persistent state (Thu Feb 13 2003 - 06:09:31 GMT)
  • RE: SDL-News: Hungarian Notation with SDL (Fri Jan 31 2003 - 06:47:44 GMT)
  • RE: SDL-News: Pid values and physical postion (Tue Dec 31 2002 - 07:00:14 GMT)
  • FW: SDL-News: Pid values and physical postion (Tue Dec 31 2002 - 07:00:08 GMT)
  • RE: SDL-News: one querry (Tue Dec 31 2002 - 06:40:48 GMT)
  • RE: SDL-News: Pid values and physical postion (Mon Dec 30 2002 - 13:01:42 GMT)
  • RE: SDL-News: code generation using ObjectGEODE-4.2 (Sat May 04 2002 - 09:18:23 GMT)
  • RE: SDL-News: state machine (Mon Jan 28 2002 - 06:43:04 GMT)
  • RE: SDL-News: communication between procedures (Mon Nov 26 2001 - 06:37:23 GMT)
  • RE: SDL-News: Further reply on data transfer (Fri Oct 12 2001 - 12:18:30 GMT)
• Y. Giridhar Appaji Nag
  • Re: SDL-News: Analysis!! (Mon Jul 30 2001 - 11:03:02 GMT)
  • SDL-News: [OT] Problem with scripts in Telelogic Tau Simulator (Mon May 07 2001 - 06:27:20 GMT)
  • SDL-News: Saving all signals except a few, optimization (Sat Mar 03 2001 - 14:24:54 GMT)
• Yair Lahav
  • SDL-News: Remote procedure and process instantiation (Sun Nov 09 2003 - 09:03:27 GMT)
  • SDL-News: Need help with Choice (Wed Oct 22 2003 - 08:32:36 GMT)
• Yang LIU
  • SDL-News: random number generating (Thu Aug 28 2003 - 08:03:47 GMT)
  • SDL-News: type cast in SDL (Tue Jun 03 2003 - 08:01:47 GMT)
  • SDL-News: Simulator UI (Wed Apr 23 2003 - 08:57:24 GMT)
  • SDL-News: Inputs of Telelogic Simulator UI (Thu Apr 17 2003 - 07:48:17 GMT)
  • SDL-News: Is it another bug in Telelogic SDL4.3 ? (2nd) (Tue Feb 25 2003 - 13:34:02 GMT)
  • SDL-News: is it another bug in Telelogic SDl 4.3 ? (Tue Feb 25 2003 - 13:27:43 GMT)
  • SDL-News: a compile error (Sun Feb 23 2003 - 17:33:02 GMT)
  • SDL-News: Operator I defined can't be converted to C (Fri Feb 21 2003 - 05:58:15 GMT)
  • SDL-News: Operator I defined can't be converted to C (Thu Feb 20 2003 - 06:04:39 GMT)
• Yang Yang
  • SDL-News: Re:How to accelerate the SDL simulations (Fri Mar 19 2004 - 02:06:02 GMT)
  • SDL-News: How to accelerate the SDL simulations (Thu Mar 18 2004 - 11:42:50 GMT)
  • SDL-News: about generating random numbers (Wed Mar 10 2004 - 11:36:36 GMT)
  • SDL-News: about the time type in SDL (Mon Aug 18 2003 - 11:44:22 GMT)
  • SDL-News: How to import a .c file in a SDL system? (Mon Jun 16 2003 - 11:22:40 GMT)
• Yuchen Zhang
  • SDL-News: Recursive Procedure in SDL (Tue Apr 09 2002 - 16:10:16 GMT)
  • SDL-News: Recursive Procedures in SDL (Wed Apr 03 2002 - 16:23:22 GMT)
• Zhang Yongqian
  • SDL-News: Questions about ASN.1 (Tue Oct 29 2002 - 02:02:30 GMT)
  • SDL-News: A strange question (Wed Oct 09 2002 - 03:44:09 GMT)
  • SDL-News: A question about CIF2SDT (Thu May 30 2002 - 02:49:52 GMT)
  • SDL-News: What does this mean? (Fri Mar 08 2002 - 03:17:17 GMT)
  • SDL-News: Question about SDL2000 (Fri Mar 08 2002 - 02:36:20 GMT)
  • SDL-News: A question on data transfer (Tue Jul 11 2000 - 05:27:12 GMT)
  • SDL-News: Please give me a hand! (Sat Jul 08 2000 - 01:29:14 GMT)
• ZhaoJun
  • SDL-News: How to save signal during transtion? (Wed Jul 05 2000 - 11:56:09 GMT)

Last message date: Wed Apr 24 2013 - 22:53:01 GMT
Archived on: Thu May 09 2013 - 16:05:51 GMT

This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:51 GMT